diff options
| author | Michael Muré <batolettre@gmail.com> | 2018-07-30 18:59:34 +0200 |
|---|---|---|
| committer | Michael Muré <batolettre@gmail.com> | 2018-07-30 18:59:34 +0200 |
| commit | 091ac03f1f758bd681c5f522b88c04ea04d81359 (patch) | |
| tree | e0a4c2c6b7063198e607c191c998438fdfe82e14 /webui/public | |
| parent | 12b0fecd9b9bce3f4a23754a5c0121598ed2f38a (diff) | |
| download | git-bug-091ac03f1f758bd681c5f522b88c04ea04d81359.tar.gz | |
termui: PgUp & PgDown to pagine the bug list as well
Diffstat (limited to 'webui/public')
0 files changed, 0 insertions, 0 deletions