Eeshan Garg 967db85201 landing_page: Restructure bottom navigation. ... We recently added a lot of new pages to our top navigation and restructured top-navigation in general. This commit updates the footer to reflect the recent changes to our top navigation.		2021-08-03 15:17:07 -07:00
..
__init__.py	Extract tools/lib/template_parser.py.	2016-08-01 16:27:50 -07:00
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: Normalize quotes with Black.	2021-02-12 13:11:19 -08: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 default "utf8" argument for encode(), decode().	2021-08-02 15:53:52 -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