X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=.gitignore;h=45d3126b7e85a9a80bf49b6681cadb910255439b;hb=26d2ecb945a881c61d03f3c259996374209f5d7f;hp=7ab34bb92666be35cb819c59392ed1dbd537008c;hpb=b1868c5a258a6bf7fc983d63f3c417f00185e7b6;p=helm.git

diff --git a/.gitignore b/.gitignore
index 7ab34bb92..45d3126b7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -66,6 +66,7 @@ helm/www/lambdadelta/xslt/core.xsl
 helm/www/lambdadelta/xslt/chc_45.xsl
 helm/www/lambdadelta/xslt/xhtbl.xsl
 
+matita/matita/contribs/lambdadelta/nodes
 matita/matita/contribs/lambdadelta/token
 matita/matita/contribs/lambdadelta/2A1
 matita/matita/contribs/lambdadelta/apps_2/notation