tree f1ed116f0dd6fbebed61995dee7606f37bc77ef6
parent 577494cc12b8c48ce48a4f7a49384bf0c7b53672
author Michael Tuexen <tuexen@fh-muenster.de> 1553425886 +0100
committer Michael Tuexen <tuexen@fh-muenster.de> 1553425886 +0100

Trying to make Windows happier.