From: Michael Gernoth <michael@gernoth.net>
Date: Sat, 18 Dec 2010 00:47:04 +0000 (+0100)
Subject: add button to hide mini-map
X-Git-Url: https://git.zerfleddert.de/cgi-bin/gitweb.cgi/micropolis/commitdiff_plain/af0a54e36517d64a2528f0e614a3a8f9411084fc?ds=sidebyside;hp=af0a54e36517d64a2528f0e614a3a8f9411084fc

add button to hide mini-map
---