2019-09-03 | Fabian Stemmler | Merge branch 'development' of | blob | commitdiff | raw |
2019-09-03 | Christian Femers | Merge branch 'development' into json-fix-extended | blob | commitdiff | raw |
2019-09-03 | Christian Femers | Rough machine extension point implementation | blob | commitdiff | raw |
2019-07-13 | Fabian Stemmler | Merge branch 'development' of | blob | commitdiff | raw | diff to current |
2019-07-10 | Daniel Kirschten | Renamed logic.ui to logic.model | blob | commitdiff | raw | diff to current |