]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/.cvsignore
renamed Http_client to Http_user_agent to avoid clashes with Gerd's
[helm.git] / helm / DEVEL / lablgtkmathview / .cvsignore
index 7f6b239a986222786db77bf035541ee64d6b825d..4b4f66b415c83d7ab3a9645d9f97cf7609066c1e 100644 (file)
@@ -2,3 +2,6 @@
 Makefile
 config.status
 META
+lablgtkmathview.spec
+gtkMathViewProps.ml
+ogtkMathViewProps.ml