Skip to content

Edit of update GitLab docs

Evan Read requested to merge eread/edit-update-docs into master

Followup to: !4291 (merged).

Just does some polishing and minor fixes. In particular, keep the "manual install" steps in a single place.

Edited by Evan Read

Merge request reports