Merge branch 'development' of
authorFabian Stemmler <stemmler@in.tum.de>
Wed, 29 May 2019 16:07:52 +0000 (18:07 +0200)
committerFabian Stemmler <stemmler@in.tum.de>
Wed, 29 May 2019 16:07:52 +0000 (18:07 +0200)
commit86f2e11d28a4100a7fe142e103b7b5eeb9de4214
treefea652c1535756ad8ee19ad86312aad07557c333
parent72198e2b8d4aebb6e4096802030960e029948100
parent40606c1f83db756164f03b0285900d9c31d7fa0c
Merge branch 'development' of
https://gitlab.lrz.de/lrr-tum/students/eragp-misim-2019 into development

# Conflicts:
# LogicUI/src/era/mi/gui/LogicUIStandalone.java
LogicUI/src/era/mi/gui/LogicUIStandalone.java