David Rosa 02eec29433 docs: Rename setup-vagrant.md -> setup-recommended.md. ... Renames the filename so that it accurately reflects its contents given the changes to the "Recommended setup" page in the previous commit, and updates all links accordingly.		2022-09-15 15:54:14 -07:00
..
__init__.py	…
capitalization.py	mypy: Enable redundant-expr errors.	2022-06-23 19:22:12 -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	template_parser: Spell “Handlebars” correctly.	2022-09-09 00:34:36 -07:00
provision.py	docs: Rename setup-vagrant.md -> setup-recommended.md.	2022-09-15 15:54:14 -07:00
provision_inner.py	provision: Avoid distutils; keep PROVISION_VERSION as a tuple.	2022-07-20 22:03:30 -07:00
sanity_check.py	sanity_check: Improve output for manual installation.	2021-04-01 10:54:56 -07:00
template_parser.py	template_parser: Spell “Handlebars” correctly.	2022-09-09 00:34:36 -07:00
test_script.py	provision: Avoid distutils; keep PROVISION_VERSION as a tuple.	2022-07-20 22:03:30 -07:00
test_server.py	python: Simplify stdio flushing using print(…, flush=True).	2021-06-09 14:05:31 -07:00