Skip to content

more changes to adapt docu etc. to new repo names

Nicola Jordan requested to merge feature/repo-renaming into develop

Created by: das-g

4330ddd4 wasn't enough

Reviewed by:

  • @hixi

Merge request reports