I forgot Luca among the authors!

[helm.git] / matita / dune-project

diff --git a/matita/dune-project b/matita/dune-project
index 4dbce59a9abec53492ea1c74cd51e618152184e0..90a0849b1d5348c6cdd4d94ce480415b6fac5d70 100644 (file)
--- a/matita/dune-project
+++ b/matita/dune-project
@@ -9,7 +9,7 @@
 (source
  (uri http://matita.cs.unibo.it/download.shtml))
 
-(authors "HELM Team (Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli et alt.)")
+(authors "HELM Team (Andrea Asperti, Ferruccio Guidi, Luca Padovani, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli et alt.)")
 
 (maintainers "Claudio Sacerdoti Coen")