diff options
| author | Daniel Friesel <derf@finalrewind.org> | 2020-10-25 13:55:21 +0100 |
|---|---|---|
| committer | Daniel Friesel <derf@finalrewind.org> | 2020-10-25 13:55:21 +0100 |
| commit | 690b941af328c79cd3e78fb6a43560969d3ee574 (patch) | |
| tree | 2f8b1fdf1ccc4c413bad6fab7df60aa0ee4a3290 /public/static/js/geolocation.min.js | |
| parent | 8abf82949f12ea62fd04ccd0357d4d7858f28c4d (diff) | |
map infobox: only show platform line if the platform is known3.4.4
Diffstat (limited to 'public/static/js/geolocation.min.js')
0 files changed, 0 insertions, 0 deletions