Add Olivier and Gabriel among the authors.

1 year ago · de6cd452fb
parent fa92810ac1
commit de6cd452fb
3 changed files with 5 additions and 1 deletions
--- a/1
+++ b/1
@ -1 +0,0 @@
-François Pottier, Inria Paris.
--- a/AUTHORS.txt
+++ b/AUTHORS.txt
@ -0,0 +1,3 @@
+François Pottier,
+Olivier Martinot,
+Gabriel Scherer.
--- a/inferno.opam
+++ b/inferno.opam
@ -3,6 +3,8 @@ opam-version: "2.0"
 maintainer: "francois.pottier@inria.fr"
 authors: [
  "François Pottier <francois.pottier@inria.fr>"
+  "Olivier Martinot <olivier.martinot@inria.fr>"
+  "Gabriel Scherer <gabriel.scherer@inria.fr>"
 ]
 homepage: "https://gitlab.inria.fr/fpottier/inferno"
 dev-repo: "git+https://gitlab.inria.fr/fpottier/inferno.git"