]> matita.cs.unibo.it Git - helm.git/blob - helm/matita/.cvsignore
projects / helm.git / blob
? search:


ef69ec2b79c4cb2e5aa9d7f9fa492685f43bdf49
[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 *.cm[aiox]
10 *.cmxa
11 *.[ao]
Unnamed repository; edit this file 'description' to name the repository.