Daniel Napora b14ac6eaaf pipemenus in places sidepanel fix		2020-09-21 17:15:44 +02:00
..
jgbrowser	jgbrowser use preferred terminalEmulator	2020-09-01 19:35:24 +02:00
mb-jgtools	pipemenus in places sidepanel fix	2020-09-21 17:15:44 +02:00
obtheme2jgmenu	generate jgtheme only if not exist	2020-03-03 18:37:32 +01:00