Adam f151027464 webmap ... - tidy up player layer - no need for smaller web tiles, make the large ones render as pixelated - make tile server and websocket server URL not-hardcoded - tidy up dynamic tile refreshing		2022-06-19 10:16:37 +02:00
..
src	webmap	2022-06-19 10:16:37 +02:00
webpack.config.d	webmap	2022-06-19 10:16:37 +02:00
.gettext.json	added kvision web-map, cleaning up a few gradle things (tokens)	2021-12-06 22:15:26 +01:00
.gitignore	added kvision web-map, cleaning up a few gradle things (tokens)	2021-12-06 22:15:26 +01:00
build.gradle.kts	webmap	2022-06-19 10:16:37 +02:00