author | Daniel Kirschten <daniel.kirschten@gmx.de> | |
Mon, 20 May 2019 19:31:57 +0000 (21:31 +0200) | ||
committer | Daniel Kirschten <daniel.kirschten@gmx.de> | |
Mon, 20 May 2019 19:31:57 +0000 (21:31 +0200) | ||
commit | 5fbd016c4e4556ad44459c1c680cc2f7ba175069 | |
tree | a33a9cb8e5846f8865406965166a9a45e0361a7d | tree | snapshot |
parent | 4be7eddcfc45e5e5794bd0dc1e2c2423fa43ec51 | commit | diff |
era.mi/src/era/mi/logic/tests/GUITest.java | diff | blob | history |