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.

Jens d7f6f3ebd5 Make icons in legend OptIn ...

Make them OptIn
Add option to docs

2020-07-11 14:03:18 +02:00

..

js_src

Make icons in legend OptIn

2020-07-11 14:03:18 +02:00

textures

textures: greatly simplify find_file and friends

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

web_assets

web_assets: make poi control icons look less bad

2020-07-01 18:59:34 +02:00