From: Stefano Zacchiroli 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/?a=commitdiff_plain;h=e664a23ff954c4a2d414c78941d9fb84ac13b1d4;p=helm.git 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