Skip to content

Various minor improvements by Lisa

oliver.sander_at_tu-dresden.de requested to merge lisa-cleanup into master

This is !22 (closed) , with a bit of cleanup from my side.

Merge request reports