Skip to content

GitLab

The TS-GitLab will have to shut down towards the end of the year — please think about migrating your projects to GitLab.com or GitHub.
(This is still a very early message, meant to keep you informed. There will be more urgent ones in the future.)

Closed
Created by Lukas Riedel@lriedelOwner2 of 2 tasks completed2/2 tasks

[meta] Small improvements to the user manual

Note: This is a meta-task. It bundles several tasks together and is only closed once all these tasks are finished.

Aims

Our user manual, like any manual or large body of text, contains numerous small issues we can collect here instead of raising single issues. The goal is to produce a user manual with no typographic or semantic errors and without failing links.

Tasks

  • Dead links from README: Add COPYING.md and LICENSE to user manual: !185 (merged)
  • Format bash command in "Grid Creation and Mapping": !185 (merged)

People involved

Related meta-tasks

Edited by Lukas Riedel
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information