Permalink
Browse files

.gitignores

  • Loading branch information...
pszilagyi committed Nov 8, 2012
1 parent 2c4e1a2 commit 3f311b4534b4e8e52bad285bb9242f7b91ce5855
Showing with 9 additions and 0 deletions.
  1. +6 −0 .gitignore
  2. +3 −0 tests/.gitignore
View
@@ -0,0 +1,6 @@
+Makefile.config
+_build
+config.log
+config.status
+main.native
+src/globals.ml
View
@@ -0,0 +1,3 @@
+*.1.ml
+*.1.mlp
+*.diff

0 comments on commit 3f311b4

Please sign in to comment.