Resolve "update to move to new gitlab server and new repository name" (!11) · Merge requests · RiseClipseGroup / riseclipse-metamodel-cim17 · GitLab

This is an archived project. Repository and other project resources are read-only.

Dominique Marcadet requested to merge 12-update-to-move-to-new-gitlab-server-and-new-repository-name into master Jul 05, 2019

Closes #12 (closed)

Edited Jul 08, 2019 by Dominique Marcadet