X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmetadata%2Fcreate2%2Ftouch%2F.cvsignore;h=10bc8bd9128ecbf5881cafab220e794328b71745;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=cf77f4b1d5fc2db7d57d7a614e727c3308760194;hpb=a12fefc78e783661fbb638907252d2265c6af9dd;p=helm.git

diff --git a/helm/metadata/create2/touch/.cvsignore b/helm/metadata/create2/touch/.cvsignore
index cf77f4b1d..10bc8bd91 100644
--- a/helm/metadata/create2/touch/.cvsignore
+++ b/helm/metadata/create2/touch/.cvsignore
@@ -1 +1 @@
-*.cmi *.cmo *.cmx .depend touch touch.opt configuration.ml
+*.cmi *.cmo *.cmx touch touch.opt