]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/matita/.cvsignore
+matita.conf.xml
*.a
*.annot
autom4te.cache
matita.gladep.bak
matita.opt
matita.opt
+matitatop
+matitadep
+matitadep.opt
+matitaclean
+matitaclean.opt
*.o
*.swp
+matita.conf.xml
+*.moo
+matita.conf.xml.sample