kovacsv 7e23376c3d Move navigator and sidebar panels to different files.		2021-12-09 07:41:18 +01:00
..
css	Move navigator and sidebar panels to different files.	2021-12-09 07:41:18 +01:00
js	Move navigator and sidebar panels to different files.	2021-12-09 07:41:18 +01:00