From: Jérôme Benoit <jerome.benoit@piment-noir.org>
Date: Tue, 16 Oct 2018 10:49:03 +0000 (+0200)
Subject: Refine the definitions.
X-Git-Url: https://git.piment-noir.org/?a=commitdiff_plain;h=6ec0df371d96fde117e6e47c3075bd58eda21684;hp=6ec0df371d96fde117e6e47c3075bd58eda21684;p=Projet_Recherche_Operationnelle.git

Refine the definitions.

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