X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=.gitignore;h=c9ebefc8e6b1004ea3b3f5b90bf894a5979b4ff0;hp=c0ab80566338334fcc3df82d7d9182d1e207e842;hb=1fd63df4c77f5c24024769432ea8492748b4ac79;hpb=277fc8ff21ce3dbd6893b1994c55cf5c06a98355

diff --git a/.gitignore b/.gitignore
index c0ab80566..c9ebefc8e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -57,6 +57,8 @@ helm/www/lambdadelta/xslt/basic_2_src.xsl
 helm/www/lambdadelta/xslt/basic_2_sum.xsl
 helm/www/lambdadelta/xslt/static_2_src.xsl
 helm/www/lambdadelta/xslt/static_2_sum.xsl
+helm/www/lambdadelta/xslt/basic_2A_src.xsl
+helm/www/lambdadelta/xslt/basic_2A_sum.xsl
 helm/www/lambdadelta/xslt/ground_2_src.xsl
 helm/www/lambdadelta/xslt/ground_2_sum.xsl
 helm/www/lambdadelta/xslt/basic_1_blk.xsl