Skip to content

Remove some redundancies, update build documentation

Jakob Maljaars requested to merge remove-redundancies into master

Merge request reports