Improve .gitignore.

2026-08-23 00:36:29 +00:00 · 2021-01-15 22:41:39 -08:00
parent 07c98eae50
commit e7ea89928f
1 changed files with 5 additions and 0 deletions
@@ -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*/