From a97c5d4ad85b3db74bf6405553b9e7f415cf2a15 Mon Sep 17 00:00:00 2001
From: Marek Kubica <marek@xivilization.net>
Date: Sun, 6 Jul 2014 23:09:32 +0200
Subject: [PATCH] Ignore OASIS generated stuff

---
 .gitignore | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 .gitignore

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..e71550e
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,9 @@
+*.mllib
+*.mldylib
+*.clib
+META
+Makefile
+configure
+_tags
+setup.ml
+myocamlbuild.ml