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

Snippets Groups Projects

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

Merged Dominique Marcadet requested to merge 12-update-to-move-to-new-gitlab-server-and-new-repository-name into master 5 years ago

Closes #12 (closed)

Edited 5 years ago by Dominique Marcadet

Activity

Dominique Marcadet added 1 commit 5 years ago
added 1 commit

a8dbafec - updated for gitlab-research and new repository names

Compare with previous version
Dominique Marcadet unmarked as a Work In Progress 5 years ago

unmarked as a Work In Progress
Dominique Marcadet mentioned in commit 72316674 5 years ago

mentioned in commit 72316674
Dominique Marcadet merged 5 years ago

merged

Please register or sign in to reply