Ignore OASIS generated stuff

This commit is contained in:
Marek Kubica 2014-07-06 23:09:32 +02:00
parent 64e023e2e7
commit a97c5d4ad8
1 changed files with 9 additions and 0 deletions

9
.gitignore vendored Normal file
View File

@ -0,0 +1,9 @@
*.mllib
*.mldylib
*.clib
META
Makefile
configure
_tags
setup.ml
myocamlbuild.ml