Add preliminary gitignore

aik · Mar 21, 2011 · 95de9a1 · 95de9a1
1 parent aaad509
commit 95de9a1
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -0,0 +1,6 @@
+*.o
+*.fsi
+*.a
+*.dep
+*.depend
+