Add missing info headers
authorYann Dirson <ydirson@free.fr>
Sun, 20 May 2012 19:04:04 +0000 (21:04 +0200)
committerYann Dirson <ydirson@free.fr>
Sun, 29 Sep 2013 13:39:24 +0000 (15:39 +0200)
commit54595b31de217a0da69041c41f8c1930a7306a50
tree60964dd7f3b13747c4e332ca546e30f012b11baf
parent82b026e6376b640a4d3409a461dd6bd83708e33e
Add missing info headers
doc/gnushogi.texinfo