Mon, 14 Jan 2019 15:01:43 -0500 aaagh can't just move delete like that due to our RNG scrambling... reverting on branch. we'll just have to take our chances w/ the bad code 0.9.25
nemo [Mon, 14 Jan 2019 15:01:43 -0500] rev 14593
aaagh can't just move delete like that due to our RNG scrambling... reverting on branch. we'll just have to take our chances w/ the bad code
Mon, 14 Jan 2019 19:26:24 +0100 Rename the special "none" key in frontend
Wuzzy <Wuzzy2@mail.ru> [Mon, 14 Jan 2019 19:26:24 +0100] rev 14592
Rename the special "none" key in frontend
(0) -10000 -3000 -1000 -300 -100 -30 -10 -2 +2 +10 +30 +100 +300 tip