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