X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Finterface%2FAUTHORS;fp=helm%2Finterface%2FAUTHORS;h=0000000000000000000000000000000000000000;hp=153b3df9ced583eb4f5bea2873ba36527cc3b6e3;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff

diff --git a/helm/interface/AUTHORS b/helm/interface/AUTHORS
deleted file mode 100644
index 153b3df9c..000000000
--- a/helm/interface/AUTHORS
+++ /dev/null
@@ -1,3 +0,0 @@
-Andrea Asperti <asperti@cs.unibo.it>
-Luca Padovani <lpadovan@cs.unibo.it>
-Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>