Skip to content
GitLab
Explore
Sign in
Clarify license name and fix some dead links.
Code
Review changes
Check out branch
Download
Patches
Plain diff
Eric Bruneton
requested to merge
317880-clarify-license-name
into
master
Aug 07, 2019
Overview
4
Commits
2
Pipelines
2
Changes
1
Expand
Closes
#317880 (closed)
.
Edited
Aug 08, 2019
by
Eric Bruneton
Merge request reports