More code cleanup.
authorJérôme Benoit <jerome.benoit@piment-noir.org>
Tue, 9 Oct 2018 14:21:51 +0000 (16:21 +0200)
committerJérôme Benoit <jerome.benoit@piment-noir.org>
Tue, 9 Oct 2018 14:21:51 +0000 (16:21 +0200)
commit1ac778781ac783aff1c169f3e03fd992d14344d8
tree14a9695fbd2e8c9a96296c5fbcf4d548545d0432
parentb0927d0a30231efbbe6436c24d32ffceac3f0031
More code cleanup.

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