Anders Kaseorg c6da0d13cd docs: Update links to skip help.github.com redirects. ... help.github.com seems to have a bug where HEAD on a redirected page returns 404. This causes tools/test-documentation to fail. Fix it by skipping the redirects. Signed-off-by: Anders Kaseorg <andersk@mit.edu>		2019-02-26 11:03:08 -08:00
..
index.rst	docs: Use `orphan` to directly exclude pages from toctree.	2018-01-24 14:37:17 -08:00
overview.md	docs: Fix a few broken link anchors.	2018-12-18 16:49:01 -08:00
remote.md	docs: Fix a few broken link anchors.	2018-12-18 16:49:01 -08:00
request-remote.md	docs: Update links to skip help.github.com redirects.	2019-02-26 11:03:08 -08:00
setup-advanced.md	docs: Update CentOS/RHEL python3 `ln` command in setup-advanced.	2019-01-04 15:23:45 -08:00
setup-vagrant.md	docs: Update links to skip help.github.com redirects.	2019-02-26 11:03:08 -08:00
using.md	docs: Reorganize developer docs to improve navigation.	2017-11-16 09:45:08 -08:00