first commit

LennMars · Feb 15, 2013 · d0e97c9 · d0e97c9
commit d0e97c9
Show file tree

Hide file tree

Showing 24 changed files with 43,683 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -0,0 +1,24 @@
+#OCaml
+*.annot
+*.cm[oai]
+*.a
+*.o
+*.out
+*.cmx
+*.cmxs
+*.cmxa
+*.so
+*.opt
+*.run
+*.depend
+*.cmt
+*.omc
+.omakedb
+.omakedb.lock
+
+#misc
+*~
+\#*\#
+perf.data
+*goutputstream*
+*.log