Further menu polishing.
authorJérôme Benoit <jerome.benoit@piment-noir.org>
Mon, 15 Jan 2018 21:57:41 +0000 (22:57 +0100)
committerJérôme Benoit <jerome.benoit@piment-noir.org>
Mon, 15 Jan 2018 21:57:41 +0000 (22:57 +0100)
commitd5622f71ef49ac2313f5b98385bab231a9d64692
tree4eaa38d90412ab05a46918f4a526938742e67cbd
parent5ba9453618c9f9fbb327e568336d4c7df96eda36
Further menu polishing.

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