]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/.cvsignore
removed dependency on netclient, use http_client module from ocaml-http
[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