Pierre-Hugues Husson c8e587fac6 Looks like there are two settings for navbar		2017-12-09 21:44:29 +01:00
..
values	Looks like there are two settings for navbar	2017-12-09 21:44:29 +01:00