Merge branch '19-rename-c-server-to-c-service' into 'master' (69379b7e) · Commits · concordant / Software / c-service · GitLab

Mentions légales du service

Snippets Groups Projects

A GitLab upgrade is scheduled for Monday, April 7, 2025. Service interruptions are expected in the morning. We'll keep you posted on the progress of the upgrade on the Mattermost canal: https://mattermost.inria.fr/devel/channels/gitlab. We recommend that you do not work on the platform until an announcement indicates that maintenance is complete.

Commit 69379b7e authored 4 years ago by Florent Coriat

Merge branch '19-rename-c-server-to-c-service' into 'master'

Rename server into service

Closes #19

See merge request concordant/software/c-server!22

parents ee766db5 e56ec9d2

No related branches found

No related tags found

Checking pipeline status

Hide whitespace changes

Inline Side-by-side

Showing with 12 additions and 12 deletions

Please register or to comment