diff options
| author | Ulf Magnusson <ulfalizer@gmail.com> | 2018-10-10 15:10:32 +0200 |
|---|---|---|
| committer | Ulf Magnusson <ulfalizer@gmail.com> | 2018-10-10 15:10:32 +0200 |
| commit | 256e5b3e38e928df0c66cec6f76cbc9f2cd3f46a (patch) | |
| tree | 6e689d0d26b05fae7a908adabcf0b51a3057f528 /examples/help_grep.py | |
| parent | a247f3f5815f42e8f1b616e311d38f41587cef64 (diff) | |
menuconfig: Comment formatting nits
Diffstat (limited to 'examples/help_grep.py')
0 files changed, 0 insertions, 0 deletions
