summaryrefslogtreecommitdiff
path: root/.gitignore
blob: 3370871d1ab50228d602694ebd53fbd4966cdc6e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
*.cm[ioxa]
*.cmx[as]
*.[oa]
*.so
*.annot
config/Makefile
/compiler/camlidl
/compiler/config.ml
/compiler/lexer_midl.ml
/compiler/linenum.ml
/compiler/parser_midl.ml
/compiler/parser_midl.mli
/compiler/parser_midl.output