]> matita.cs.unibo.it Git - fireball-separation.git/blob - .gitignore
Detection of divergents
[fireball-separation.git] / .gitignore
1 # ---> OCaml
2 *.annot
3 *.cmo
4 *.cma
5 *.cmi
6 *.a
7 *.o
8 *.cmx
9 *.cmxs
10 *.cmxa
11
12 # ocamlbuild working directory
13 _build/
14
15 # ocamlbuild targets
16 *.byte
17 *.native
18
19 # oasis generated files
20 setup.data
21 setup.log
22