diff options
| author | Ulf Magnusson <ulfalizer@gmail.com> | 2019-06-07 17:49:05 +0200 |
|---|---|---|
| committer | Ulf Magnusson <ulfalizer@gmail.com> | 2019-06-09 14:00:25 +0200 |
| commit | c295c312dd76be6b61bdaccda5b70be9cb79cf5f (patch) | |
| tree | a4c414134407a04a9227582fb5a97f8762bd5ed8 /examples/help_grep.py | |
| parent | 929a5981c717d2e72e4b181b1a81d0b181d6b411 (diff) | |
menuconfig/guiconfig: Clean up 'range' checking a bit
Just cosmetic.
Diffstat (limited to 'examples/help_grep.py')
0 files changed, 0 insertions, 0 deletions