diff options
author | Michael Vogt <mvo@debian.org> | 2013-10-11 22:16:55 +0200 |
---|---|---|
committer | Michael Vogt <mvo@debian.org> | 2013-10-11 22:16:55 +0200 |
commit | db78c60c6a726ed70fa8b0984090b80840444016 (patch) | |
tree | 471b8e385a8296bce5568bb99ea6b01e1a0a8c88 /doc/guide.sgml | |
parent | 31f97d7b862ccf3de93b30a15f24d76e806031a3 (diff) |
deal with nr_terminal_rows unavailable
Diffstat (limited to 'doc/guide.sgml')
0 files changed, 0 insertions, 0 deletions