Add missing autogenerated oasis files

xclerc · Sep 6, 2016 · bc2294e · bc2294e
1 parent 5598745
commit bc2294e
Show file tree

Hide file tree

Showing 4 changed files with 1,068 additions and 3 deletions.
diff --git a/.gitignore b/.gitignore
@@ -5,7 +5,6 @@ setup.data
 setup.log
 *.o
 *.so
-*.clib
 *.a
 *.cmx
 *.cmi
@@ -16,5 +15,3 @@ setup.log
 *.swn
 *.byte
 *.native
-src/META
-myocamlbuild.ml