diff options
| author | Claudiu Popa <pcmanticore@gmail.com> | 2018-05-09 07:38:10 -0400 |
|---|---|---|
| committer | Claudiu Popa <pcmanticore@gmail.com> | 2018-05-09 07:38:10 -0400 |
| commit | 68fc1fb2f793a5ade312cfea334ca45ea6894244 (patch) | |
| tree | 4c6436fdcc08b7112392b6cb65ed6bf438ded331 /pylint/utils.py | |
| parent | 5f2ee9c5f48fb4d50bbce0d4135d9571b8982732 (diff) | |
| download | pylint-git-68fc1fb2f793a5ade312cfea334ca45ea6894244.tar.gz | |
Finally we're lint clean
Diffstat (limited to 'pylint/utils.py')
| -rw-r--r-- | pylint/utils.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pylint/utils.py b/pylint/utils.py index c28e9c437..9d86acbcf 100644 --- a/pylint/utils.py +++ b/pylint/utils.py @@ -1203,7 +1203,7 @@ def _ini_format(stream, options): format_section = _ini_format_section -def _rest_format_section(stream, section, options, encoding=None, doc=None): +def _rest_format_section(stream, section, options, doc=None): """format an options section using as ReST formatted output""" if section: print('%s\n%s' % (section, "'"*len(section)), file=stream) |