diff options
| author | Ulf Magnusson <ulfalizer@gmail.com> | 2018-10-28 18:21:01 +0100 |
|---|---|---|
| committer | Ulf Magnusson <ulfalizer@gmail.com> | 2018-10-28 18:28:40 +0100 |
| commit | c679105fd9d26b2266ed7f46b652ae27e9539bbc (patch) | |
| tree | 5ca1e49f4b6e1ae2e2d24001a6f0b662c2c6482b /menuconfig.py | |
| parent | e0256b65a939732b768d594f466a3b380fc26515 (diff) | |
Replace 'indent == 0' with 'not indent'
Tiny bit faster and smaller. Clear in context.
Diffstat (limited to 'menuconfig.py')
0 files changed, 0 insertions, 0 deletions