Made ManualSwitch non-final to make GUIManualSwitch possible
authorDaniel Kirschten <daniel.kirschten@gmx.de>
Wed, 15 May 2019 09:13:35 +0000 (11:13 +0200)
committerDaniel Kirschten <daniel.kirschten@gmx.de>
Wed, 15 May 2019 09:13:35 +0000 (11:13 +0200)
commitd626fc6d54840922d2e4735e2925925c9bbbbd99
treeedba5ffed97fc36250ed864ba13095a629f75ec9
parent215c87c1df5d2784c444da9e6f029603aa8ec468
Made ManualSwitch non-final to make GUIManualSwitch possible
era.mi/src/era/mi/logic/components/ManualSwitch.java