Merge branch 'master' of git.sv.gnu.org:/srv/git/xboard
authorH.G. Muller <h.g.muller@hccnet.nl>
Mon, 13 Feb 2012 21:04:30 +0000 (22:04 +0100)
committerH.G. Muller <h.g.muller@hccnet.nl>
Mon, 13 Feb 2012 21:04:30 +0000 (22:04 +0100)
commit74adbe89595d6afe4e44712ff2da54ee7ff80b20
tree675f18ce383726d1f2632b85f89dcba753e56a72
parent531cbb967de22764c22954e2b93493e92e9830e9
parent47146fe5638c0f801c7c04b987eb66d8dd4710ec
Merge branch 'master' of git.sv.gnu.org:/srv/git/xboard