From 41ac8067fbca67dacbfbe4999754994eed74659a Mon Sep 17 00:00:00 2001 From: mathurinm Date: Tue, 27 May 2025 11:31:38 +0200 Subject: [PATCH] rm unneeded authors file --- AUTHORS | 3 --- 1 file changed, 3 deletions(-) delete mode 100644 AUTHORS diff --git a/AUTHORS b/AUTHORS deleted file mode 100644 index f90591f54..000000000 --- a/AUTHORS +++ /dev/null @@ -1,3 +0,0 @@ -Mathurin MASSIAS, Inria -Quentin BERTRAND, Inria -Badr MOUFAD, Ecole Polytechnique