From d3c491ed20917189607c3be5af8e8ce1e05ae7ee Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 3 Jan 2023 00:19:01 +0100 Subject: [PATCH] I forgot Luca among the authors! --- matita/dune-project | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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") -- 2.39.2