summaryrefslogtreecommitdiff
path: root/.gitignore
blob: 280689143a606f0e61394ac7a67d6ebea33f4bab (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
*.cmi
*.cmo
*.s
*.swp
.depend
doc/
lexer.ml
parser.automaton
parser.conflicts
parser.ml
parser.mli
petit-caml
old/
others/*