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

[helm.git] / helm / papers / whelp / referaggi / CVS / Root

diff --git a/helm/papers/whelp/referaggi/CVS/Root b/helm/papers/whelp/referaggi/CVS/Root
deleted file mode 100644 (file)
index eff143f..0000000
--- a/helm/papers/whelp/referaggi/CVS/Root
+++ /dev/null
@@ -1 +0,0 @@
-:ext:sacerdot@mowgli.cs.unibo.it:/projects/cvs/papers