tree 0968f4e617d94980372770e87e15a6447126cf26
parent 9a55d67225a860349c21b69543181e529b491275
parent db417b25e254b48ce4724adeb4c61758c0231b00
author reiss <simon.reis@pta.de> 1537464678 +0200
committer reiss <simon.reis@pta.de> 1537464678 +0200

Merge branch 'master' of ssh://git.eclipse.org:29418/openk-usermodules/org.eclipse.openk-usermodules.mics.centralService