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

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

Closes #28 (closed)

Edited Jul 08, 2019 by Dominique Marcadet