Open ernstkl opened 2 years ago
if #48 or the start.sh part of #48 is merged, this PR is obsolete, of course
if #48 or the start.sh part of #48 is merged, this PR is obsolete, of course