Small changes to make it more convenient for broader use in the REMIND group (!1) · Merge requests · REMIND / rm-codedev-generator · GitLab

The source project of this merge request has been removed.

David Klein requested to merge (removed):master into master Oct 07, 2021