mirror of
https://github.com/sphinx-doc/sphinx.git
synced 2025-02-25 18:55:22 -06:00
Placate mypy
This commit is contained in:
parent
326ddd10d7
commit
e2f49cfc0d
@ -114,7 +114,7 @@ def handle_exception(app, opts, exception, stderr=sys.stderr):
|
||||
file=stderr)
|
||||
|
||||
|
||||
def main(argv=sys.argv[1:]):
|
||||
def main(argv=sys.argv[1:]): # typing: ignore
|
||||
# type: (List[unicode]) -> int
|
||||
parser = optparse.OptionParser(USAGE, epilog=EPILOG, formatter=MyFormatter())
|
||||
parser.add_option('--version', action='store_true', dest='version',
|
||||
|
Loading…
Reference in New Issue
Block a user