diff options
| author | Ulf Magnusson <ulfalizer@gmail.com> | 2018-05-22 11:57:29 +0200 |
|---|---|---|
| committer | Ulf Magnusson <ulfalizer@gmail.com> | 2018-05-22 12:08:10 +0200 |
| commit | fe0f2f8410787e2d177ae891e1c5422280fbb2be (patch) | |
| tree | bb7e4a76e9c758c670ac9dfaada87ccbd8e87ebd /examples/print_tree.py | |
| parent | 5104b1be4331c6b04b3aec0eab763d7dd1b2768b (diff) | |
menuconfig: Move symbol name from title into info text
It's easy to miss at the top, especially as it's centered. Have a
generic 'Symbol information', 'Choice information', etc., title instead.
Diffstat (limited to 'examples/print_tree.py')
0 files changed, 0 insertions, 0 deletions