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 14556
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 14555
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 14554
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 14553
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 tip