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)
commit35608d1953b627e09b076a043b8b8526c28bba37
tree43364a9b459613cc009e9382029fd5a86007600e
parent852c90fa03e5a5291be9a6d629601d89f5133ef3
Made ManualSwitch non-final to make GUIManualSwitch possible
era.mi/src/era/mi/logic/components/ManualSwitch.java