summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGuillaume Seguin <guillaume@segu.in>2009-01-14 09:39:39 +0100
committerGuillaume Seguin <guillaume@segu.in>2009-01-14 09:39:39 +0100
commitbeb2e8c89b009a80d7edde4a6dfcff246f2ad644 (patch)
tree5af94e1f664da70ce646ed02da00b99ae7bc1dce
parenteae584152cd35e0ee489a7f2938878fb294faa9e (diff)
downloadpetitcaml-beb2e8c89b009a80d7edde4a6dfcff246f2ad644.tar.gz
petitcaml-beb2e8c89b009a80d7edde4a6dfcff246f2ad644.tar.bz2
[petitcaml] Add .gitignore
-rw-r--r--.gitignore12
1 files changed, 12 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..fdff832
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,12 @@
+*.cmi
+*.cmo
+*.s
+*.swp
+.depend
+lexer.ml
+parser.automaton
+parser.conflicts
+parser.ml
+parser.mli
+petit-caml
+others/*