update in basic_2

[helm.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 7ab34bb92666be35cb819c59392ed1dbd537008c..45d3126b7e85a9a80bf49b6681cadb910255439b 100644 (file)
--- 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