randy ca224e95c1 Show the tree's file names without the .geojson suffix ...

The suffix ("ride.gpx" -> "ride.gpx.geojson" once cached) explained
what the name would download back when it doubled as a GeoJSON-only
download link. Now that downloading is the download button's job
(previous commit), it was just confusing -- the file itself is still
named "ride.gpx".

2026-09-08 00:11:41 +02:00

..

css

Consolidate original/GeoJSON download into one menu button

2026-09-08 00:10:02 +02:00

js

Show the tree's file names without the .geojson suffix

2026-09-08 00:11:41 +02:00

vendor

Home button fits all of Slovakia; add an overview map, top-right

2026-09-07 22:30:56 +02:00