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 /kconfiglib.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 'kconfiglib.py')
| -rw-r--r-- | kconfiglib.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kconfiglib.py b/kconfiglib.py index 67ca6ff..410db28 100644 --- a/kconfiglib.py +++ b/kconfiglib.py @@ -546,7 +546,7 @@ from glob import iglob from os.path import dirname, exists, expandvars, islink, join, realpath -VERSION = (12, 12, 1) +VERSION = (12, 13, 0) # File layout: |