]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/.cvsignore
Distribution improvements.
[helm.git] / helm / DEVEL / lablgtkmathview / .cvsignore
index 930b7a63e83755275e4c65df69735e9f777ea6da..7f6b239a986222786db77bf035541ee64d6b825d 100644 (file)
@@ -1 +1,4 @@
 *.cmi *.cmo *.cmx *.cma *.cmxa config.make config.cache config.log configure
+Makefile
+config.status
+META