]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/.cvsignore
first moogle template checkin
[helm.git] / helm / DEVEL / lablgtkmathview / .cvsignore
index 801e3763489fbb3576de9791f647a4503e14fed8..4b4f66b415c83d7ab3a9645d9f97cf7609066c1e 100644 (file)
@@ -1,3 +1,7 @@
 *.cmi *.cmo *.cmx *.cma *.cmxa config.make config.cache config.log configure
 Makefile
 config.status
+META
+lablgtkmathview.spec
+gtkMathViewProps.ml
+ogtkMathViewProps.ml