diff options
| author | Ulf Magnusson <ulfalizer@gmail.com> | 2018-10-22 22:15:02 +0200 |
|---|---|---|
| committer | Ulf Magnusson <ulfalizer@gmail.com> | 2018-10-22 22:42:36 +0200 |
| commit | 85ba6b2d8558ca812ef53b97fa18df9f98c1e6dc (patch) | |
| tree | 5b2b628873dd53af8c092f4a333874a415a80131 /oldconfig.py | |
| parent | 6023234566944b3ae06276b9a2227709b4fe0957 (diff) | |
menuconfig: Mention jump-to in info dialog help
Might be hard to discover that [/] works inside the info dialog
otherwise.
Diffstat (limited to 'oldconfig.py')
0 files changed, 0 insertions, 0 deletions
