From a69eaf21c7d78fb7ca4a0d44da3190bda549a53b Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Fri, 5 Feb 2016 13:59:46 +0100
Subject: [PATCH] [doc] alphabetical order
---
src/plugins/e-acsl/doc/userman/main.tex | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/plugins/e-acsl/doc/userman/main.tex b/src/plugins/e-acsl/doc/userman/main.tex
index 3de64a5d6db..fba4326df94 100644
--- a/src/plugins/e-acsl/doc/userman/main.tex
+++ b/src/plugins/e-acsl/doc/userman/main.tex
@@ -48,9 +48,9 @@ the future.
\section*{Acknowledgements}
-We gratefully thank all the people who contributed to this document: Jens
-Gerlach, Pierre-Lo\"ic Garoche, Florent Kirchner, Nikolaï Kosmatov and Guillaume
-Petiot.
+We gratefully thank all the people who contributed to this document:
+Pierre-Lo\"ic Garoche, Jens Gerlach, Florent Kirchner, Nikolaï Kosmatov and
+Guillaume Petiot.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
--
GitLab