mirror of https://github.com/zulip/zulip.git
lint: Fix incorrectly placed docstring.
This commit is contained in:
parent
9602f73d05
commit
ba74d74dca
|
@ -688,6 +688,7 @@ def run():
|
|||
return func
|
||||
|
||||
def external_linter(name, command, target_langs=[]):
|
||||
# type: (str, List[str], List[str]) -> None
|
||||
"""Registers an external linter program to be run as part of the
|
||||
linter. This program will be passed the subset of files being
|
||||
linted that have extensions in target_langs. If there are no
|
||||
|
@ -695,7 +696,6 @@ def run():
|
|||
|
||||
If target_langs is empty, just runs the linter unconditionally.
|
||||
"""
|
||||
# type: (str, List[str], List[str]) -> None
|
||||
def run_linter():
|
||||
# type: () -> int
|
||||
if len(target_langs) == 0:
|
||||
|
|
Loading…
Reference in New Issue