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 a424744762 Merge PR #1734 by DragonDev1906

2020-06-29 18:49:34 +02:00

..

js_src

Add Icons to POI Legend

2020-03-02 13:45:01 +01:00

textures

textures: greatly simplify find_file and friends

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

web_assets

Merge PR #1734 by DragonDev1906

2020-06-29 18:49:34 +02:00