This commit was manufactured by cvs2svn to create branch

[helm.git] / helm / helmpot / AUTHORS

diff --git a/helm/helmpot/AUTHORS b/helm/helmpot/AUTHORS
deleted file mode 100644 (file)
index fe59f14..0000000
--- a/helm/helmpot/AUTHORS
+++ /dev/null
@@ -1 +0,0 @@
-Luca Padovani <luca.padovani@cs.unibo.it>