fixed bug #22853: changed all .Xdefaults to .Xresources in xboard.texi
[xboard.git] / winboard-dm-beta4 / parser.l
2004-01-17 Daniel Mehrmannmehrmann wb extensions