From: Maps Date: Wed, 26 Nov 2014 12:51:49 +0000 (+0100) Subject: Merge branch 'gui_devel' of jspc29:mvdsensorcontrol into gui_devel X-Git-Url: https://jspc29.x-matter.uni-frankfurt.de/git/?a=commitdiff_plain;h=d54cbc6e3798a62351702b6326e107e51089887a;p=mvdsensorcontrol.git Merge branch 'gui_devel' of jspc29:mvdsensorcontrol into gui_devel --- d54cbc6e3798a62351702b6326e107e51089887a