/patch-xboard_conf/1.1/Mon Nov 10 09:04:18 2014//
/patch-Makefile_in/1.8/Sun Apr 30 00:01:10 2017//
/patch-gtk_xboard_h/1.1/Sat Apr 29 22:24:15 2017//
D
