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 2c92b4acf9 Merge PR 1649 from deltaidea

2020-02-13 17:40:35 +01:00

..

js_src

Merge PR 1649 from deltaidea

2020-02-13 17:40:35 +01:00

textures

textures: greatly simplify find_file and friends

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

web_assets

genPOI: support polylines and filled-in polygons

2019-12-24 01:23:00 +03:00