2 commits

Author	SHA1	Message	Date
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
Adam	6d60428ab9	added kvision web-map, cleaning up a few gradle things (tokens)	2021-12-06 22:15:26 +01:00