docs: document leaflet_options.js config and remove dead baselayer#488

Merged

DennisOSRM merged 3 commits into

docs/leaflet-options-179

Jul 4, 2026

Commits on Jul 4, 2026

docs: document leaflet_options.js config and remove dead baselayer (#179)

github-actions[bot]
and
claude
committed
Merge remote-tracking branch 'origin/gh-pages' into docs/leaflet-options-179
github-actions[bot]
committed
docs: honor mode.profile in parseModes, fix inaccurate JSDoc
github-actions[bot]
committed