]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/interface/.cvsignore
.cvsignore improved
[helm.git] / helm / interface / .cvsignore
index 592a929b93b03bae6104ec46f60da1b4812c2cfb..3a68425a2242d1873b3922e7482333a3a5bb2d78 100644 (file)
@@ -11,3 +11,5 @@ mmlinterface.opt
 reduction
 reduction.opt
 t1lib.log
+output.ps
+output2.ps