More helpful error for standard ID not occurring in standard mapping
[Mograsim.git] / NOTICE
2019-06-24 Fabian StemmlerMerge branch 'development' of https://gitlab.lrz.de...
2019-06-23 Christian FemersCopyright notice added