diff options
| author | Ulf Magnusson <ulfalizer@gmail.com> | 2019-08-03 16:27:39 +0200 |
|---|---|---|
| committer | Ulf Magnusson <ulfalizer@gmail.com> | 2019-08-03 17:02:23 +0200 |
| commit | 87856f23b359daece6b2a22c42290e2ef4bd479e (patch) | |
| tree | 94f49728d80759b9045d398c80568b3530fa86db /examples/allnoconfig_walk.py | |
| parent | b94308a1afab1b4c13a2cb3144d9d6a3c740eae0 (diff) | |
Make 12.13.0 releasev12.13.0
Mostly to get some cleanups into a release, but adds a tiny improvement
in commit a4b5775 ("menuconfig/guiconfig: Print 'default:' with no 's'
if there's just one").
Diffstat (limited to 'examples/allnoconfig_walk.py')
0 files changed, 0 insertions, 0 deletions