Merged logicui into master
authorDaniel Kirschten <daniel.kirschten@gmx.de>
Mon, 20 May 2019 17:31:07 +0000 (19:31 +0200)
committerDaniel Kirschten <daniel.kirschten@gmx.de>
Mon, 20 May 2019 17:31:07 +0000 (19:31 +0200)
commitfb3edf0f514d574d60cc5874b4d53ebaaa34b7e1
tree554b7b58cbee1443ff70d981703f852dc95e2bb5
parente7180dd9040734555e6a07f2561fb688118b7002
parent32a3d41c11b96c2530c25b6059b4341a8b34a2e2
Merged logicui into master
.gitmodules
LogicUI/.classpath
LogicUI/.project
era.mi/.settings/org.eclipse.jdt.ui.prefs
era.mi/src/era/mi/logic/components/ManualSwitch.java
era.mi/src/era/mi/logic/tests/GUITest.java