Merge branch 'hgm/xboard/options'
commit68522cbf0ad08700c39c352a38e1119b9a68afec
authorYann Dirson <ydirson@free.fr>
Sat, 26 Jul 2014 14:18:12 +0000 (26 16:18 +0200)
committerYann Dirson <ydirson@free.fr>
Sat, 26 Jul 2014 14:18:12 +0000 (26 16:18 +0200)
treea25d102ba7433bda5d57a27bd17f6412c1aa4ae9
parent221662176078f56ce4550282fbd7fbd250c73c7d
parent36cbbe04c0a445e80718ecc1a7dc6b51852e4a15
Merge branch 'hgm/xboard/options'
gnushogi/commondsp.c