Skip to content
GitLab

Merge branch 'default-platform' into 'master' 

Set a default platform for exercises & activities

Closes #45

See merge request !36
3 jobs for master in 1 minute and 19 seconds (queued for 1 second)
7b278e5e
No related merge requests found.