diff options
-rw-r--r-- | .gitignore | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index d29af79e3..13864c5a2 100644 --- a/.gitignore +++ b/.gitignore @@ -16,6 +16,10 @@ man/man?/*.html *.o *.hi *.pyc +.hie/ +.policeman-evidence/ +.projectile/ +.vscode/ /COPYING.rtf /COPYRIGHT.txt /cabal-dev/ @@ -28,3 +32,4 @@ data/reference.odt /stack.yaml.lock cabal.project.local /dist-newstyle/ +pandoc-2*/ |