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