X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Focaml%2Fmathql_interpreter%2F.cvsignore;h=55b492aabfe2ec5e6f5706c06416302bf3aea990;hb=c172220b965a4d0e95004ae42911a886faac878c;hp=cd9b591e347f6cab0eb3f564112186813f6b8716;hpb=68e62a195d6228befb75b4e2edd59bc58b1cdb0c;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/.cvsignore b/helm/ocaml/mathql_interpreter/.cvsignore
index cd9b591e3..55b492aab 100644
--- a/helm/ocaml/mathql_interpreter/.cvsignore
+++ b/helm/ocaml/mathql_interpreter/.cvsignore
@@ -1 +1 @@
-*.cm[iaox] *.cmxa mQueryTLexer.ml mQueryTParser.ml mQueryTParser.mli
+*.cm[iaox] *.cmxa mQueryTLexer.ml mQueryTParser.ml mQueryTParser.mli *.output