Fix bugs in previous 3 commits
authorH.G.Muller <hgm@hgm-xboard.(none)>
Mon, 29 Feb 2016 21:24:31 +0000 (22:24 +0100)
committerH.G.Muller <hgm@hgm-xboard.(none)>
Mon, 29 Feb 2016 21:24:31 +0000 (22:24 +0100)
commitce2d35a73b69934537eb45682a45eda2b8f24b1a
tree376e45b343e1da6e524056a39337f252c40a39ab
parent28942b4b88b8142ce938d0cfc8054fb3b15b7c49
Fix bugs in previous 3 commits

The commits before this were pushed a bit prematurely, inspired by
the wish tosee if I could push from my new laptop.
args.h
xboard.texi