X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2FgTopLevel%2F.cvsignore;fp=helm%2FgTopLevel%2F.cvsignore;h=0000000000000000000000000000000000000000;hp=6e1f5ff43f244635a3fb2dc321f18b6eaa146ee5;hb=1696761e4b8576e8ed81caa905fd108717019226;hpb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1

diff --git a/helm/gTopLevel/.cvsignore b/helm/gTopLevel/.cvsignore
deleted file mode 100644
index 6e1f5ff43..000000000
--- a/helm/gTopLevel/.cvsignore
+++ /dev/null
@@ -1,14 +0,0 @@
-*.cm[aiox] *.cmxa *.[ao]
-gTopLevel gTopLevel.opt
-regtest regtest.opt
-testlibrary testlibrary.opt
-styles stylesheets meta_stylesheets
-chosenTermEditor.ml
-chosenTransformer.ml
-disambiguatingParser.ml
-.debug_script
-autom4te.cache
-config.log
-config.status
-configure
-Makefile