This repository has been archived on 2025-04-25. You can view files and clone it. You cannot open issues or pull requests or push a commit.

Nicolas F 1d8279243d genPOI: polyline text improvements ...

Don't require text for polylines/polygons, and support hovertext
by utilising leaflet's tooltips.

2020-02-13 18:35:20 +01:00

..

js_src

genPOI: polyline text improvements

2020-02-13 18:35:20 +01:00

textures

textures: greatly simplify find_file and friends

2019-07-04 18:24:57 +02:00

web_assets

genPOI: support polylines and filled-in polygons

2019-12-24 01:23:00 +03:00