From 4446dccf7dd4c470471cc6152823df1b5a30c817 Mon Sep 17 00:00:00 2001 From: Julien Signoles <julien.signoles@cea.fr> Date: Thu, 28 Jan 2021 12:16:39 +0100 Subject: [PATCH] [doc:developer] lexical ordering :/ --- doc/developer/developer.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/developer/developer.tex b/doc/developer/developer.tex index c9a1b597680..af1cae1b8bb 100644 --- a/doc/developer/developer.tex +++ b/doc/developer/developer.tex @@ -103,9 +103,9 @@ described here may still evolve in the future. We gratefully thank all the people who contributed to this document: Michele Alberti, -Allan Blanchard, Gergö Barany, Patrick Baudin, +Allan Blanchard, Richard Bonichon, David B\"uhler, Pascal Cuoq, -- GitLab