Mirror
/
zulip
mirror of https://github.com/zulip/zulip.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
zulip/tools/documentation_crawler
History
Rishi Gupta 2bbfdeeb7b Fix more errors caught by mypy 0.501. 
Another set of relatively easy to review changes.
 		2017-03-03 14:15:38 -08:00
..
documentation_crawler Fix more errors caught by mypy 0.501. 2017-03-03 14:15:38 -08:00
__init__.py docs-test: Add scrapy crawler to check documentation not having broken links. 2016-10-25 11:35:16 -07:00
scrapy.cfg docs-test: Add scrapy crawler to check documentation not having broken links. 2016-10-25 11:35:16 -07:00