More code cleanups.
authorJérôme Benoit <jerome.benoit@piment-noir.org>
Mon, 5 Nov 2018 09:52:40 +0000 (10:52 +0100)
committerJérôme Benoit <jerome.benoit@piment-noir.org>
Mon, 5 Nov 2018 09:52:40 +0000 (10:52 +0100)
commita5f09ac40f68d6b2b4814007afd02527ea370283
tree8c5d19f503b99bc8c36e37f390163d16fdf194d3
parent6079168f797083b6d78a07839de1272d91d6897a
More code cleanups.

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