author | Daniel Kirschten <daniel.kirschten@gmx.de> | |
Thu, 16 May 2019 08:58:43 +0000 (10:58 +0200) | ||
committer | Daniel Kirschten <daniel.kirschten@gmx.de> | |
Thu, 16 May 2019 08:58:43 +0000 (10:58 +0200) |
LogicUI/src/era/mi/gui/components/GUIAndGate.java | patch | blob | history | |
LogicUI/src/era/mi/gui/components/GUIOrGate.java | patch | blob | history |