evykassirer c321f57785 settings: Explain that Google blob emojis are deprecated. ...

Part of fixing #19371.

2022-10-04 12:29:35 -07:00

..

__init__.py

…

capitalization.py

settings: Explain that Google blob emojis are deprecated.

2022-10-04 12:29:35 -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_inner.py

provision: Avoid distutils; keep PROVISION_VERSION as a tuple.

2022-07-20 22:03:30 -07:00

provision.py

docs: Rename setup-vagrant.md -> setup-recommended.md.

2022-09-15 15:54:14 -07:00

sanity_check.py

…

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