From: Jérôme Benoit <jerome.benoit@piment-noir.org>
Date: Mon, 5 Nov 2018 09:52:40 +0000 (+0100)
Subject: More code cleanups.
X-Git-Url: https://git.piment-noir.org/?a=commitdiff_plain;h=a5f09ac40f68d6b2b4814007afd02527ea370283;hp=a5f09ac40f68d6b2b4814007afd02527ea370283;p=Projet_Recherche_Operationnelle.git

More code cleanups.

Signed-off-by: Jérôme Benoit <jerome.benoit@piment-noir.org>
---