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)
Signed-off-by: Jérôme Benoit <jerome.benoit@piment-noir.org>

No differences found