summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorGuillaume Seguin <guillaume@segu.in>2009-01-14 23:05:48 +0100
committerGuillaume Seguin <guillaume@segu.in>2009-01-14 23:05:48 +0100
commite654b56ef3bb3f710759898450212d63f5e373ac (patch)
tree978fcd98d1835550d9c39b9676b6fec746fcf7fb /.gitignore
parente21ff76f04ebc81da8f0c77f851bc09cefdf155c (diff)
downloadpetitcaml-e654b56ef3bb3f710759898450212d63f5e373ac.tar.gz
petitcaml-e654b56ef3bb3f710759898450212d63f5e373ac.tar.bz2
[petitcaml] Update .gitignore
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore2
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index fdff832..2806891 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,10 +3,12 @@
*.s
*.swp
.depend
+doc/
lexer.ml
parser.automaton
parser.conflicts
parser.ml
parser.mli
petit-caml
+old/
others/*