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

Snippets Groups Projects

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

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

Closes #15 (closed)

Edited 5 years ago by Dominique Marcadet

Activity

Dominique Marcadet added 1 commit 5 years ago
added 1 commit

500734ec - 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 6ef23b52 5 years ago

mentioned in commit 6ef23b52
Dominique Marcadet merged 5 years ago

merged

Please register or sign in to reply