Let EditPosition double-click on piece promote it
[xboard.git] / gtk / .dirstamp