Permalink
Browse files

Add a .gitignore file.

  • Loading branch information...
1 parent 84bb0f6 commit 2a8d5f5f206730a7cd41f5c69a28f757decd9dbc @pgj committed Aug 4, 2012
Showing with 9 additions and 0 deletions.
  1. +9 −0 .gitignore
View
@@ -0,0 +1,9 @@
+*~
+.#*
+_build/
+*.cmi
+*.cmx
+*.cmo
+*.cmxa
+*.o
+*.ko

0 comments on commit 2a8d5f5

Please sign in to comment.