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.py	python: Remove locally dead code.	2021-08-19 01:51:37 -07:00
provision_inner.py	mypy: Add types-Pygments.	2021-08-02 22:31:46 -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