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

Refine the definitions.

Now the skeleton is good enough for cut&paste.

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