project_files/web/pre.js
author Wuzzy <almikes@aol.com>
Tue, 04 Apr 2017 02:41:11 +0200
changeset 12153 4b3995a62084
parent 11796 50a462b9454a
permissions -rw-r--r--
Fix incorrect size of Beach theme icons The icons had about double the required size. This caused a graphical glitch when selecting Beach and hand-drawn map.