removed papers that have been moved to the new "papers" repository

[helm.git] / helm / papers / matita / .cvsignore

diff --git a/helm/papers/matita/.cvsignore b/helm/papers/matita/.cvsignore
deleted file mode 100644 (file)
index db408ff..0000000
--- a/helm/papers/matita/.cvsignore
+++ /dev/null
@@ -1,16 +0,0 @@
-matita.aux
-matita.bbl
-matita.blg
-matita.dvi
-matita.log
-matita.out
-matita.ps
-matita.pdf
-matita2.aux
-matita2.bbl
-matita2.blg
-matita2.dvi
-matita2.log
-matita2.out
-matita2.ps
-matita2.pdf