Menu polishing.
authorJérôme Benoit <jerome.benoit@piment-noir.org>
Mon, 15 Jan 2018 21:57:03 +0000 (22:57 +0100)
committerJérôme Benoit <jerome.benoit@piment-noir.org>
Mon, 15 Jan 2018 21:57:03 +0000 (22:57 +0100)
commit5ba9453618c9f9fbb327e568336d4c7df96eda36
tree3102c8a26d026c3f79644596d0d9c6a8a52986b7
parent77e900523470eb7de54f2b92794177b54c3ad1bf
Menu polishing.

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