updated .gitignore

idris-hackers · Jun 4, 2014 · 992ac33 · 992ac33
1 parent e52fc6d
commit 992ac33
Showing 1 changed file with 17 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,3 +1,20 @@
+\#*
+\.#*
+
+dist
+cabal-dev/
+.cabal-sandbox
+cabal.sandbox.config
+*.ibc
+*.o
+*.a
+*.so
+*.dll
+*.dylib
+*.swp
+*~
+.DS_Store
+
 *.ibc
 *~
 dist