Browse Source

Update .gitignore

 - Forgotten some file produced by atdgen and oasis
 - I choice do not to commit setup.ml, Makefile, configure,
   myocamlbuild.ml (maybe later)
Leo 10 years ago
parent
commit
86f0919238
1 changed files with 8 additions and 4 deletions
  1. 8 4
      .gitignore

+ 8 - 4
.gitignore

@@ -1,14 +1,18 @@
 oclaunch.byte
 # Atdgen
-settings_j.ml
-settings_j.mli
-settings_t.ml
-settings_t.mli
+settings_j.ml*
+settings_t.ml*
+settings_v.ml*
 # Oasis
 _build
+_tags
 *.native
 *.byte
 *.docdir
+setup.ml
+Makefile
+configure
+myocamlbuild.ml
 setup.data
 setup.log
 # Misc