From: Claudio Sacerdoti Coen Date: Mon, 2 Jan 2023 23:19:01 +0000 (+0100) Subject: I forgot Luca among the authors! X-Git-Tag: make_still_working~5 X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=b369378a65f627fd8458ecf778006b572ea772bd I forgot Luca among the authors! --- diff --git a/matita/dune-project b/matita/dune-project index 4dbce59a9..90a0849b1 100644 --- 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")