Merge branch 'development' of https://gitlab.lrz.de/lrr-tum/students/eragp-misim...
[Mograsim.git] / plugins / net.mograsim.plugin.core / plugin.xml
2019-09-16 Fabian StemmlerMerge branch 'development' of https://gitlab.lrz.de...
2019-09-16 Fabian StemmlerChanged InstructionView into an Editor
2019-09-16 Daniel KirschtenImproved preference handling in plugin.core
2019-09-16 Daniel KirschtenMerge branch 'cont-integr-2' into 'development'
2019-09-16 Christian FemersThe final restructured version for automatic build...