Update instructions, clean up CI (!8) · Merge requests · ttweb / thesis · GitLab

The source project of this merge request has been removed.

Jari-Matti Mäkelä requested to merge (removed):cleanup-docs-scripts into master May 19, 2020

Minor improvements