Make -pgnNumberTag option setable from menu
[xboard.git] / pixmaps / mdd33.xpm
pixmaps/mdd33.xpm