Daniel Napora e5c591aa15 pipemenus, images		2020-09-22 13:35:13 +02:00
..
jgbrowser	jgbrowser use preferred terminalEmulator	2020-09-01 19:35:24 +02:00
mb-jgtools	pipemenus, images	2020-09-22 13:35:13 +02:00
obtheme2jgmenu	generate jgtheme only if not exist	2020-03-03 18:37:32 +01:00