Merge branch 'master' of git://git.sv.gnu.org/xboard
[xboard.git] / pixmaps / rdd80.xpm
pixmaps/rdd80.xpm