]> matita.cs.unibo.it Git - helm.git/blob - helm/matita/.cvsignore
004b4c5b878619ce7c0ed9d3fd4af0209fa6d3e2
[helm.git] / helm / matita / .cvsignore
1 *.a
2 *.annot
3 autom4te.cache
4 buildTimeConf.ml
5 cicbrowser
6 cicbrowser.opt
7 *.cma
8 *.cmi
9 *.cmo
10 *.cmx
11 *.cmxa
12 config.log
13 config.status
14 configure
15 .depend
16 Makefile
17 matita
18 .matita
19 matitac
20 matitac.opt
21 matitaGeneratedGui.ml
22 matitaGeneratedGui.mli
23 matita.glade.bak
24 matita.gladep
25 matita.gladep.bak
26 matita.opt
27 matita.opt
28 *.o
29 *.swp