Display now accessed via PlatformUI for e.g. highlight requests
[Mograsim.git] / NOTICE
2019-06-24 Fabian StemmlerMerge branch 'development' of https://gitlab.lrz.de...
2019-06-23 Christian FemersCopyright notice added