]> matita.cs.unibo.it Git - helm.git/commitdiff
*** empty log message ***
authorLuca Padovani <luca.padovani@unito.it>
Mon, 8 Jan 2001 11:11:17 +0000 (11:11 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Mon, 8 Jan 2001 11:11:17 +0000 (11:11 +0000)
helm/configuration/AUTHORS

index 963977a6f2d26cf197855a67a80695a4437fff6d..0ceb16fd53f475a3bcc6c1b2041f1fbf3f193ddf 100644 (file)
@@ -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>