From: Jérôme Benoit <jerome.benoit@piment-noir.org>
Date: Tue, 9 Oct 2018 14:21:51 +0000 (+0200)
Subject: More code cleanup.
X-Git-Url: https://git.piment-noir.org/?a=commitdiff_plain;h=1ac778781ac783aff1c169f3e03fd992d14344d8;hp=1ac778781ac783aff1c169f3e03fd992d14344d8;p=Projet_Recherche_Operationnelle.git

More code cleanup.

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