diff options
| author | Ulf Magnusson <ulfalizer@gmail.com> | 2017-09-29 22:26:02 +0200 |
|---|---|---|
| committer | Ulf Magnusson <ulfalizer@gmail.com> | 2017-09-29 22:26:02 +0200 |
| commit | d1b32ad7890b5f32aba4db5ef798877fd333d573 (patch) | |
| tree | 6d65941aefd5e2b6733bf25d5ce817e41cb00d96 /examples/print_refs.py | |
| parent | c8f8e742fce13c0cd86f1857785de141549aa781 (diff) | |
Move _is_header_line to a better spot
There's already a "misc." section. Also fix typo in docstring.
Diffstat (limited to 'examples/print_refs.py')
0 files changed, 0 insertions, 0 deletions
