Fix vertical sizing of GTK board
[xboard.git] / gtk / .dirstamp