* doc/user.xml: Fix number of columns in table.
authorBernhard Reutner-Fischer <aldot@gcc.gnu.org>
Sat, 15 Jun 2013 11:28:34 +0000 (21:28 +1000)
committerBen Elliston <bje@gnu.org>
Sat, 15 Jun 2013 11:28:34 +0000 (21:28 +1000)
commitfcb5cf517ff6723399d9ec00503190ae25bdc617
treee61e3a059b82cd5f3e5fe4627bad0b2db680c19d
parent520f7493f69e4fbcd7a4fc55a0bed29d7922adf9
* doc/user.xml: Fix number of columns in table.
* doc/dejagnu.texi: Regenerate.

Signed-off-by: Ben Elliston <bje@gnu.org>
ChangeLog
doc/dejagnu.texi
doc/user.xml