Made ManualSwitch non-final to make GUIManualSwitch possible
authorDaniel Kirschten <daniel.kirschten@gmx.de>
Wed, 15 May 2019 21:14:55 +0000 (23:14 +0200)
committerDaniel Kirschten <daniel.kirschten@gmx.de>
Wed, 15 May 2019 21:14:55 +0000 (23:14 +0200)
commit024789c7fe32dfccb5c21f96afd771a2c13af5f0
tree8d3671788c379e309f554d3c98600622a2eab92f
parent1cfc4888cbde080210f64682607cf89febdbb0ba
Made ManualSwitch non-final to make GUIManualSwitch possible
era.mi/src/era/mi/logic/components/ManualSwitch.java