Add headers for <<, <, > and >> buttons in texi file
authorH.G.Muller <hgm@hgm-xboard.(none)>
Tue, 29 Mar 2016 19:23:41 +0000 (21:23 +0200)
committerH.G.Muller <hgm@hgm-xboard.(none)>
Tue, 29 Mar 2016 19:23:41 +0000 (21:23 +0200)
commit79a3238560118073b6e2ae2f0a55488129e02d79
tree264009380534e4840c212cad4236890ae9eab041
parentfcf1b04ac104178d84c30b2824804f199061e250
Add headers for <<, <, > and >> buttons in texi file
xboard.texi