Skip to content

Commit d9a645b

Browse files
committed
Make pyright happy
Signed-off-by: Jose Luis Rivero <jrivero@osrfoundation.org>
1 parent d0812ed commit d9a645b

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

gzdev.py

+1
Original file line numberDiff line numberDiff line change
@@ -26,6 +26,7 @@
2626
from docopt import docopt
2727

2828
if __name__ == '__main__':
29+
assert __doc__ is not None # make pyright happy
2930
args = docopt(__doc__, version='gzdev-core 0.1.0', options_first=True)
3031
cmd = args['<command>']
3132
is_valid = {'ign-docker-env': True,

0 commit comments

Comments
 (0)