Simon Vieille 3011db2229 When reloading, current pane is kept		2018-02-07 12:02:08 +01:00
..
main.css	When reloading, current pane is kept	2018-02-07 12:02:08 +01:00