diff options
| author | Ulf Magnusson <ulfalizer@gmail.com> | 2019-05-22 09:05:55 +0200 |
|---|---|---|
| committer | Ulf Magnusson <ulfalizer@gmail.com> | 2019-05-22 09:06:05 +0200 |
| commit | 7e0b9f7ae124e87c706bfa6f7b467e67215d3fca (patch) | |
| tree | 151fa138f70c7d0bcd5d7c21b8c41c01ef0abfe3 /examples/menuconfig_example.py | |
| parent | 841ab04973a1f42cfafea41835bb8d09df15dbd6 (diff) | |
Make 11.5.0 releasev11.5.0
Fixes a minor menuconfig interface bug in commit f962269 ("menuconfig:
Fix inconsistent top/bottom scroll offset due to off-by-one").
Some doc tweaks are included as well:
- Commit 841ab04 ("Mention that .config can be brought up-to-date via
menuconfig/guiconfig")
- Commit f8978b0 ("Say "removes" instead of "resets" in the
unset_value(s)() docstring")
Diffstat (limited to 'examples/menuconfig_example.py')
0 files changed, 0 insertions, 0 deletions