Merge branch 'maint'
commit8058a1489067200a293f93fd19d54e6b558bceef
authorYann Dirson <ydirson@free.fr>
Fri, 1 Aug 2014 21:30:19 +0000 (1 23:30 +0200)
committerYann Dirson <ydirson@free.fr>
Fri, 1 Aug 2014 21:30:19 +0000 (1 23:30 +0200)
treefa87a4a9fd2252d889e7b505f7a44c637194584f
parentf7602fb87591d57ed8fbbd9006a6421650c9f398
parentc1c7e691854ed70f9b923ed5d78dbc73093ed9fd
Merge branch 'maint'
NEWS
doc/gnushogi.texi
gnushogi/tcontrl.c