New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Integrate missing explorer tiles with webserver #7

Closed

martin-ueding opened this issue Nov 19, 2023 · 1 comment

Labels

type: enhancement

Milestone

Owner

martin-ueding commented Nov 19, 2023

The missing explorer tiles are currently some file based thing. It would be nice to also access these over the webserver.

martin-ueding added the type: enhancement label

martin-ueding added this to the 0.6.0 milestone

Owner Author

martin-ueding commented Nov 24, 2023

Done, there is now a second map and also download options for GeoJSON and GPX.

martin-ueding closed this as completed

martin-ueding added a commit that referenced this issue


          Integrate missing explorer tiles into web ui #7

a28b2ff

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment