diff options
| author | Ulf Magnusson <ulfalizer@gmail.com> | 2018-09-09 20:51:29 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-09 20:51:29 +0200 |
| commit | c6ec2729e6bd49ac10b40fcf9de7f2498d500f6f (patch) | |
| tree | b5f72f21795a4644040efd7b7f1fa3ceb77f8e19 /menuconfig.py | |
| parent | 869428aa95811402d79bf5d1e856c18d6a7ac3a2 (diff) | |
Mention the jump-to menuconfig functionality in the text too
Diffstat (limited to 'menuconfig.py')
0 files changed, 0 insertions, 0 deletions