From: Daniel Kirschten Date: Wed, 15 May 2019 09:13:35 +0000 (+0200) Subject: Made ManualSwitch non-final to make GUIManualSwitch possible X-Git-Url: https://mograsim.net/gitweb/?a=commitdiff_plain;h=35608d1953b627e09b076a043b8b8526c28bba37;hp=35608d1953b627e09b076a043b8b8526c28bba37;p=Mograsim.git Made ManualSwitch non-final to make GUIManualSwitch possible ---