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 /cgi/public/marquee.js | |
parent | 8abf82949f12ea62fd04ccd0357d4d7858f28c4d (diff) |
map infobox: only show platform line if the platform is known3.4.4
Diffstat (limited to 'cgi/public/marquee.js')
0 files changed, 0 insertions, 0 deletions