Skip to content
GitLab

[handbook] Move passage about guidelines and delete .tex file

Merged Kilian Weishaupt requested to merge doc/guidelines into feature/improve-handbook

Merge request reports