-
Volker Krause authored
Still disabled until the CI setup for KOSMIndoorMap has been sorted out, but the basics are there now. Some form of progress reporting would still be nice to have though.
e1923bf6
Still disabled until the CI setup for KOSMIndoorMap has been sorted out, but the basics are there now. Some form of progress reporting would still be nice to have though.