1 files changed, 10 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 00000000..850bcb6a
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,10 @@
+*~
+*.out
+*.exe
+*.orig
+*.cmo
+*.cmi
+*.d
+*.o
+.hg/
+.hgignore