]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/papers/whelp/.cvsignore
removed papers that have been moved to the new "papers" repository
[helm.git] / helm / papers / whelp / .cvsignore
diff --git a/helm/papers/whelp/.cvsignore b/helm/papers/whelp/.cvsignore
deleted file mode 100644 (file)
index fd073f3..0000000
+++ /dev/null
@@ -1,14 +0,0 @@
-main.aux
-main.dvi
-main.log
-main.ps
-main.ps.gz
-main.pdf
-main.out
-moogle.aux
-moogle.dvi
-moogle.log
-moogle.ps
-moogle.ps.gz
-moogle.pdf
-moogle.out