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 efa0f9e850 web_assets: update leaflet to 1.7.1

2021-05-21 02:34:45 +02:00

..

js_src

web: don't clutter up web console by default

2020-07-28 13:22:07 +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.7.1

2021-05-21 02:34:45 +02:00