]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/.cvsignore
ocaml 3.09 transition
[helm.git] / helm / DEVEL / mathml_editor / .cvsignore
index 42bb76f78261043b4316a2d356505d80834536ca..aa01254b17a82e75860a27b541e39ce2eee247f7 100644 (file)
@@ -13,3 +13,4 @@ result.xml
 stamp-h
 stamp-h.in
 t1lib.log
+editex.pc