]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/.cvsignore
*** empty log message ***
[helm.git] / helm / DEVEL / lablgtkmathview / .cvsignore
index 930b7a63e83755275e4c65df69735e9f777ea6da..801e3763489fbb3576de9791f647a4503e14fed8 100644 (file)
@@ -1 +1,3 @@
 *.cmi *.cmo *.cmx *.cma *.cmxa config.make config.cache config.log configure
+Makefile
+config.status