Fix using VariantMen PGN tag for both colors
[xboard.git] / gtk / .dirstamp