Bruno Windels b0a47da72c fix lint		2018-11-06 15:29:47 +01:00
..
structures	fix lint	2018-11-06 15:29:47 +01:00
views	Make right panel a dark-panel instead of every descendant.	2018-11-06 14:47:58 +01:00