repositories / Projet_Recherche_Operationnelle.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: cec1e8f)
Rename an image to a more sensible name
authorJérôme Benoit <jerome.benoit@piment-noir.org>
Mon, 15 Oct 2018 17:42:35 +0000 (19:42 +0200)
committerJérôme Benoit <jerome.benoit@piment-noir.org>
Mon, 15 Oct 2018 17:42:35 +0000 (19:42 +0200)
and fix an overfull in a tab.

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

No differences found
HUGo Polytech'Marseille Projet Recherche Opérationnelle