Anders Kaseorg d9f12cfb49 documentation_crawler: They’re called fragments, not permalinks. ... Signed-off-by: Anders Kaseorg <anders@zulipchat.com>		2019-05-30 10:39:47 -07:00
..
commands	documentation_crawler: Improve error handling.	2019-05-30 10:39:47 -07:00
spiders	documentation_crawler: They’re called fragments, not permalinks.	2019-05-30 10:39:47 -07:00
__init__.py	docs-test: Add scrapy crawler to check documentation not having broken links.	2016-10-25 11:35:16 -07:00
settings.py	documentation_crawler: Set a 15 second download timeout.	2019-05-30 10:39:47 -07:00