Address
#3
: Update permanent redirects
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
Address #3: Update permanent redirects
Raymond Toy
requested to merge
addr-issue-3-doc-index-redirects
into
master
May 31, 2019
Overview
0
Commits
2
Pipelines
1
Changes
1
Update the links that have been permanently redirected in doc/index.html
Merge request reports
Loading