diff options
author | Ben Elliston <bje@gnu.org> | 2015-11-10 14:36:32 +1100 |
---|---|---|
committer | Rob Savoye <rob@welcomehome.org> | 2016-03-01 11:20:24 +0700 |
commit | 5831688fbcaea72f45c4c2ce4fe06d6d8fefffed (patch) | |
tree | fdde2dd78c429cc209ef138061c6e2dd960da22d /doc/dejagnu.texi | |
parent | 108bcff11acb991b1124ce8f38ae3c2d50a7a85b (diff) |
* doc/user.xml: Fix runtest output formatting in <programlisting>.
(cherry picked from commit d7401fea18aab6d9619a9c328da0f492115f4e39)
Diffstat (limited to 'doc/dejagnu.texi')
0 files changed, 0 insertions, 0 deletions