Skip to content
GitLab

Martin's monster merge part 1/N: (hopefully) uncontroversial bits

Merged Martin Reinecke requested to merge mmm1 into master

This is basically

  • dead code removal
  • removal of obsolete documentation
  • typo fixing

Merge request reports