Add Option type 'Skip'
[xboard.git] / gtk / .dirstamp