Fix edit command for double-digit ranks
[xboard.git] / gtk / .dirstamp