From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 16 Nov 2005 08:51:44 +0000 (+0000)
Subject: ignore bibtex litter
X-Git-Tag: V_0_7_2_3~68
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=e664a23ff954c4a2d414c78941d9fb84ac13b1d4

ignore bibtex litter
---

diff --git a/helm/papers/matita/.cvsignore b/helm/papers/matita/.cvsignore
index 69c4dc21b..0964fd233 100644
--- a/helm/papers/matita/.cvsignore
+++ b/helm/papers/matita/.cvsignore
@@ -1,4 +1,6 @@
 matita.aux
+matita.bbl
+matita.blg
 matita.dvi
 matita.log
 matita.out