X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2F.cvsignore;h=592a929b93b03bae6104ec46f60da1b4812c2cfb;hb=827217f7d82afca44f31615c2ed3a99ac48496c2;hp=49c2d73aa46ecf49183f17c4698da68bb5b1af33;hpb=2ef402e7db40b6167e70bc94e7e79ddbe75081b4;p=helm.git

diff --git a/helm/interface/.cvsignore b/helm/interface/.cvsignore
index 49c2d73aa..592a929b9 100644
--- a/helm/interface/.cvsignore
+++ b/helm/interface/.cvsignore
@@ -10,3 +10,4 @@ mmlinterface
 mmlinterface.opt
 reduction
 reduction.opt
+t1lib.log