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 402d35fefc util.js: remove some obsolete stuff ...

A few debug console.log statements got the axe too, because I
felt like it.

2019-07-12 16:55:47 +02:00

..

js_src

util.js: remove some obsolete stuff

2019-07-12 16:55:47 +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.5.1

2019-06-25 19:40:42 +02:00