Use -gameListFont in Game List
[xboard.git] / gtk / .dirstamp