Daniel Napora 08e1fd2b36 cleanup, change look and feel from menu		2020-09-07 18:15:03 +02:00
..
jgbrowser	jgbrowser use preferred terminalEmulator	2020-09-01 19:35:24 +02:00
mb-jgtools	cleanup, change look and feel from menu	2020-09-07 18:15:03 +02:00
obtheme2jgmenu	generate jgtheme only if not exist	2020-03-03 18:37:32 +01:00