Fix edit command for double-digit ranks
[xboard.git] / osxapp / themes /
2015-05-08 Joshua Pettusmoving part2