NorbiPeti eb8dff3a41 Fixes I thought were merged		2018-05-15 23:34:34 +02:00
..
java/buttondevteam/buttonproc	Fixes I thought were merged	2018-05-15 23:34:34 +02:00
resources/META-INF/services	Plugin update on shutdown+fromcmd	2018-05-07 20:01:36 +02:00