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 4d27cf3dfc util.js: don't specify a map minzoom of 0 ...

Who put this here? Why? Whatever.

Fixes #1590.

2019-07-12 16:43:05 +02:00

..

js_src

util.js: don't specify a map minzoom of 0

2019-07-12 16:43:05 +02:00

textures

textures: greatly simplify find_file and friends

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

web_assets

web_assets: update leaflet to 1.5.1

2019-06-25 19:40:42 +02:00