From bd5c8e2527872d5aa21b032885f1865692d5db35 Mon Sep 17 00:00:00 2001 From: Andreas Naumann <andreas.naumann@tu-dresden.de> Date: Mon, 17 May 2010 08:36:15 +0000 Subject: [PATCH] bug when starting gui -- GitLab