Skip to content
GitLab
Explore
Sign in
Register
zesje
zesje
Merge requests
!80
Resolve "Problem names update"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Thomas Roos
requested to merge
issue/190-problem-names-update
into
master
Jul 09, 2018
Overview
0
Commits
1
Pipelines
2
Changes
1
Expand
Closes
#190 (closed)
Edited
Jul 09, 2018
by
Thomas Roos
Merge request reports