Tue, 12 May 2015 22:38:33 +0300 unc0rr - Fix order of messages, also don't duplicate last timestamped message
Tue, 12 May 2015 22:09:25 +0900 mikade migrate maps, new map, minor fixes
Mon, 11 May 2015 13:53:08 -0400 nemo This probably fixes bug #839 - mine time was hardcoded to 3000 in Attack, instead of using the "0 as undefined" input that other places were using. When re653e96b0ec3 started paying attention to the input parameter, this previously ignored value became a problem.
Mon, 11 May 2015 19:58:54 +0300 unc0rr - Take girder height into account (fix issue #908)
(0) -10000 -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 +3000 tip