Skip to content
GitLab

Various minor improvements by Lisa

Merged 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.