diff options
| author | Ulf Magnusson <ulfalizer@gmail.com> | 2015-05-31 19:33:01 +0200 |
|---|---|---|
| committer | Ulf Magnusson <ulfalizer@gmail.com> | 2015-05-31 19:35:33 +0200 |
| commit | ea21b13f8fd3a3b832c3b1e922f0533103579c8e (patch) | |
| tree | a6f14d0a4cf8c42ec513b4fc204b30f6a4d43f94 /examples/help_grep.py | |
| parent | 22917913c5a6004861d4e9911bc3bb21ac087ceb (diff) | |
Do a small documentation cleanup pass.
- Clean up introduction a bit.
- Explain that "# CONFIG_FOO is not set" is treated specially.
- Remove some silly "otherwise False" comments where it's obvious.
- Reformulate a few things slightly.
Diffstat (limited to 'examples/help_grep.py')
0 files changed, 0 insertions, 0 deletions