diff options
| author | wrmr | 2024-11-09 01:51:42 -0500 |
|---|---|---|
| committer | wrmr | 2024-11-09 01:51:42 -0500 |
| commit | cbb9f606333774f4de6f639891cd1411419ecf2a (patch) | |
| tree | 9b75436effccbcd065c32f207f93fce051c64982 /.gitignore | |
| parent | 9ac1ca968081bcb826cf9ee70666bc44983d087f (diff) | |
use actual console size for nav_lines(), instead of dummy value
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions