From: Luca Padovani <luca.padovani@unito.it>
Date: Mon, 8 Jan 2001 11:11:17 +0000 (+0000)
Subject: *** empty log message ***
X-Git-Tag: nogzip~6
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=326c8d734163b95d8c02c88166e3f297c7fbfe08;p=helm.git

*** empty log message ***
---

diff --git a/helm/configuration/AUTHORS b/helm/configuration/AUTHORS
index 963977a6f..0ceb16fd5 100644
--- a/helm/configuration/AUTHORS
+++ b/helm/configuration/AUTHORS
@@ -1,4 +1,4 @@
 Andrea Asperti <asperti@cs.unibo.it>
-Luca Padovani <lpadovan@cs.unibo.it>
+Luca Padovani <luca.padovani@cs.unibo.it>
 Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
 Irene Schena <schena@cs.unibo.it>