Resolve "update to move to new gitlab server and new repository name" (!16) · Merge requests · RiseClipseGroup / riseclipse-validator-ocl · GitLab

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

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

Closes #17 (closed)

Edited Jul 08, 2019 by Dominique Marcadet