From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Sat, 10 Jun 2006 16:26:55 +0000 (+0000)
Subject: ignore generated stuff
X-Git-Tag: make_still_working~7221
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=55eb4d24cdfdb412d75d446445b0a8fe93b6ffc2;p=helm.git

ignore generated stuff
---