tree 46cfea82e5b3af429bb2cfe02bb641c1b17804e2
parent 49dea54aef5f6994bed75d3214b8ade1b971f293
author Michael Tuexen <tuexen@fh-muenster.de> 1578831839 +0100
committer Michael Tuexen <tuexen@fh-muenster.de> 1578831839 +0100

Minor cleanups.