commit | e58df88771080493a2d2a440dabb7231318b3ee3 | [log] [tgz] |
---|---|---|
author | Sigurd Schneider <sigurd.schneider@cs.uni-saarland.de> | Thu May 17 12:06:29 2018 |
committer | Sigurd Schneider <sigurd.schneider@cs.uni-saarland.de> | Thu May 17 12:06:29 2018 |
tree | 148e5efacc3a1d58685a439c58cb9fdc53e60c3f | |
parent | 5093226b6e0b8df700a900daf0261679b7b3b2c1 [diff] |
Updated GUI and IDE Access (markdown)