Fix edit command for double-digit ranks
[xboard.git] / osxapp / themes /
drwxr-xr-x   ..
drwxr-xr-x - default