]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/.cvsignore
* added new .ml files to be ignored
[helm.git] / helm / DEVEL / lablgtkmathview / .cvsignore
index b684a8ba45746a915ac69abdec42ec8059f42013..4b4f66b415c83d7ab3a9645d9f97cf7609066c1e 100644 (file)
@@ -3,3 +3,5 @@ Makefile
 config.status
 META
 lablgtkmathview.spec
+gtkMathViewProps.ml
+ogtkMathViewProps.ml