]> matita.cs.unibo.it Git - helm.git/blob - helm/matita/.cvsignore
projects / helm.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
snapshot, notably:
[helm.git] / helm / matita / .cvsignore
1 Makefile
2 buildTimeConf.ml
3 config.status
4 configure
5 config.log
6 autom4te.cache
7 matita
8 matita.opt
9 matitac
10 matitac.opt
11 *.cm[aiox]
12 *.cmxa
13 *.[ao]
Unnamed repository; edit this file 'description' to name the repository.