]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/meta_style/.cvsignore
Branch V7_3_new_exportation merged.
[helm.git] / helm / meta_style / .cvsignore
index b88948804d28848817afc3dd935d27ab05fbb20c..b20cfb2817d1ffc6de11bd83cf39dbbea3ad3fda 100644 (file)
@@ -3,3 +3,4 @@ arith.xsl
 basic.xsl
 reals.xsl
 set.xsl
+list.xsl