From aa4028fcf07acce36a42301c41561532754a4f7f Mon Sep 17 00:00:00 2001 From: Simon Petit Date: Mon, 9 Dec 2024 20:56:31 +0100 Subject: [PATCH] adding my name --- dune-project | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/dune-project b/dune-project index 8e16b3c..c426096 100644 --- a/dune-project +++ b/dune-project @@ -7,9 +7,9 @@ (source (github username/reponame)) -(authors "Author Name") +(authors "Simon Petit") -(maintainers "Maintainer Name") +(maintainers "Simon Petit") (license LICENSE)