Anders Kaseorg 2762121162 python: Convert last type comments to annotations. ...

We had skipped these in #14693 so we could keep generating a friendly
error on Python 3.5, but we gave that up in #19801.

Signed-off-by: Anders Kaseorg <anders@zulip.com>

2022-03-24 20:32:39 -07:00

..

__init__.py

…

capitalization.py

tools: Fix typo in previous commit.

2022-03-18 16:57:51 -07:00

git-tools.bash

lint: Add .bash extension for tools/lib/git-tools.bash.

2021-06-25 09:01:13 -07:00

gitlint-rules.py

docs: Fix many spelling mistakes.

2022-02-07 18:51:06 -08:00

html_branches.py

dead code: Kill off most of html_branches.

2021-12-02 09:49:10 -08:00

pretty_print.py

python: Replace universal_newlines with text.

2022-01-23 22:16:01 -08:00

provision_inner.py

docs: Fix Git capitalization.

2022-02-28 16:04:35 -08:00

provision.py

python: Convert last type comments to annotations.

2022-03-24 20:32:39 -07:00

sanity_check.py

sanity_check: Improve output for manual installation.

2021-04-01 10:54:56 -07:00

template_parser.py

check-tempates: Improve error message for missing end tag.

2021-12-04 15:35:24 -08:00

test_script.py

tooling: test-js-with-puppeteer: Accept full relative file path.

2022-03-04 04:48:03 -05:00

test_server.py

python: Simplify stdio flushing using print(…, flush=True).

2021-06-09 14:05:31 -07:00