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 23f8cbd330 web: reimplement marker groups default checking ...

Now you can use checked=True again!

Fixes #1474.

2019-02-21 17:24:08 +01:00

..

js_src

web: reimplement marker groups default checking

2019-02-21 17:24:08 +01:00

textures

Add replacement for the location marker

2016-12-10 14:56:17 -05:00

web_assets

web: fix marker icon position

2018-11-18 09:10:54 +01:00