Add headers for <<, <, > and >> buttons in texi file
[xboard.git] / png / marble_d.png
png/marble_d.png