Anders Kaseorg 4206e5f00b python: Remove locally dead code. ...

These changes are all independent of each other; I just didn’t feel
like making dozens of commits for them.

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

2021-08-19 01:51:37 -07:00

..

__init__.py

…

capitalization.py

landing_page: Restructure bottom navigation.

2021-08-03 15:17:07 -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

gitlint-rules: Remove convoluted binary search for imperative forms.

2021-03-22 18:08:01 -07:00

html_branches.py

python: Remove locally dead code.

2021-08-19 01:51:37 -07:00

pretty_print.py

docs: Fix capitalization mistakes.

2021-05-10 09:57:26 -07:00

provision_inner.py

mypy: Add types-Pygments.

2021-08-02 22:31:46 -07:00

provision.py

python: Remove locally dead code.

2021-08-19 01:51:37 -07:00

sanity_check.py

sanity_check: Improve output for manual installation.

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

template_parser.py

docs: Fix capitalization mistakes.

2021-05-10 09:57:26 -07:00

test_script.py

test_script: Fix path computation in find_js_test_files.

2021-07-18 11:33:50 -07:00

test_server.py

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

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