X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2F.cvsignore;h=09c78cec59b72904f73766196f89480331e23e71;hb=6f0f31787fb03ea4956227e8fcdbc12abd366931;hp=e3d42f17b2fdad8d66380c6eb8f6c10c14c657e8;hpb=c6241821ee8246e8bad740d2da9d38e5114f9a8c;p=helm.git diff --git a/helm/gTopLevel/.cvsignore b/helm/gTopLevel/.cvsignore index e3d42f17b..09c78cec5 100644 --- a/helm/gTopLevel/.cvsignore +++ b/helm/gTopLevel/.cvsignore @@ -1 +1,9 @@ -*.cm[iox] gTopLevel gTopLevel.opt +*.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