X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FtopLevel%2F.cvsignore;fp=helm%2FgTopLevel%2FtopLevel%2F.cvsignore;h=0000000000000000000000000000000000000000;hb=26687f6c7acd3c9ec642625288a8a2185c5b81c5;hp=197e6e54e1cbd6a58fdb281d64ce7354f7dc9b52;hpb=fc3a73230e9c3a8359944ecbc5546f8f63acac25;p=helm.git

diff --git a/helm/gTopLevel/topLevel/.cvsignore b/helm/gTopLevel/topLevel/.cvsignore
deleted file mode 100644
index 197e6e54e..000000000
--- a/helm/gTopLevel/topLevel/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-*.cmi *.cmo *.cmx topLevel.opt