4 commits

Author	SHA1	Message	Date
Adam	80e8c95bc9	fix webpack dev server, redownload bootstrap.min.css	2022-09-10 10:07:46 +02:00
Adam	a84c4a2f76	refactor web-map to be SPA	2022-09-09 17:21:09 +02:00
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