Simon Vieille c52079e882 fix #19: add option to keep external sites in the top menu		2020-05-09 15:53:25 +02:00
..
stylesheet.php	fix #19: add option to keep external sites in the top menu	2020-05-09 15:53:25 +02:00