diff options
| author | Ulf Magnusson <ulfalizer@gmail.com> | 2017-11-26 14:40:13 +0100 |
|---|---|---|
| committer | Ulf Magnusson <ulfalizer@gmail.com> | 2017-11-26 14:43:22 +0100 |
| commit | 7f85e810c2fd22098049cc490532f8f7c17f8315 (patch) | |
| tree | 1ed7dbc666274cda331961cb0b447bc829deac25 | |
| parent | 882f58c7d1dfc935b22a4a9b2ae144d238d5f093 (diff) | |
menuconfig.py: indent_print() style nit
| -rw-r--r-- | examples/menuconfig.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/menuconfig.py b/examples/menuconfig.py index 2b3b287..b55af6d 100644 --- a/examples/menuconfig.py +++ b/examples/menuconfig.py @@ -130,7 +130,7 @@ if sys.version_info[0] < 3: input = raw_input def indent_print(s, indent): - print((" " * indent) + s) + print(" "*indent + s) def value_str(sc): """ |