Merge branch 'maint'
authorYann Dirson <ydirson@free.fr>
Sun, 12 Jan 2014 14:30:26 +0000 (15:30 +0100)
committerYann Dirson <ydirson@free.fr>
Sun, 12 Jan 2014 14:30:26 +0000 (15:30 +0100)
commit411d29916e5e7691271850a5f723e3b1f2d61721
tree107a5e0c5b8d43ea01ac87d580b9bf4a108ee11c
parentb25be4481e49ce9e343ed301ab57be999e583083
parentb0b03e50b6184ced62b9550275f566c45ba75122
Merge branch 'maint'
configure.ac
gnushogi/Makefile.in
gnushogi/makepattern.c