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

…

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