Daniel Napora 781490a12a jgbrowser use preferred terminalEmulator		2020-09-01 19:35:24 +02:00
..
jgbrowser	jgbrowser use preferred terminalEmulator	2020-09-01 19:35:24 +02:00
mb-jgtools	update	2020-08-31 19:39:28 +02:00
obtheme2jgmenu	generate jgtheme only if not exist	2020-03-03 18:37:32 +01:00