diff options
author | Eli Zaretskii <eliz@gnu.org> | 2014-06-24 19:28:40 +0300 |
---|---|---|
committer | Eli Zaretskii <eliz@gnu.org> | 2014-06-24 19:28:40 +0300 |
commit | f179cf97a071940bfce6879aa59dbac66ffca391 (patch) | |
tree | a48c6da7ccd257b3341de4fa16855fc646229f91 /readline | |
parent | 15bfcc77681f423fd872815eb140c450d69b8a60 (diff) | |
download | gdb-f179cf97a071940bfce6879aa59dbac66ffca391.zip gdb-f179cf97a071940bfce6879aa59dbac66ffca391.tar.gz gdb-f179cf97a071940bfce6879aa59dbac66ffca391.tar.bz2 |
Minor improvements in manual indexing.
* doc/gdb.texinfo (Screen Size): Add more index entries.
Diffstat (limited to 'readline')
0 files changed, 0 insertions, 0 deletions