Fri, 11 Jan 2019 01:44:04 +0100 Frontend: Increase padding of small push buttons
Wuzzy <Wuzzy2@mail.ru> [Fri, 11 Jan 2019 01:44:04 +0100] rev 14551
Frontend: Increase padding of small push buttons
Thu, 10 Jan 2019 23:22:44 +0100 Restore map scaling of Tunnels script
Wuzzy <Wuzzy2@mail.ru> [Thu, 10 Jan 2019 23:22:44 +0100] rev 14550
Restore map scaling of Tunnels script
Thu, 10 Jan 2019 23:16:32 +0100 Force MapFeatureSize=12 in TechRacer
Wuzzy <Wuzzy2@mail.ru> [Thu, 10 Jan 2019 23:16:32 +0100] rev 14549
Force MapFeatureSize=12 in TechRacer
Thu, 10 Jan 2019 23:10:20 +0100 Fix Racer ghost not resetting properly after a skip (bug 565)
Wuzzy <Wuzzy2@mail.ru> [Thu, 10 Jan 2019 23:10:20 +0100] rev 14548
Fix Racer ghost not resetting properly after a skip (bug #565)
(0) -10000 -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 tip