Jack Zhang d60a088a49 developer docs: Recommend the mypy daemon for running mypy locally. ... Resolves #10622.		2018-10-10 16:29:16 -07:00
..
accessibility.md	developer docs: Refer to 'zulipbot add' instead of 'zulipbot label'.	2018-09-21 12:16:39 -07:00
bug-reports.md	docs: Reorganize developer docs to improve navigation.	2017-11-16 09:45:08 -08:00
chat-zulip-org.md	documentation: Migrate all CZO stream links to new stream URL style	2018-05-24 15:15:34 -07:00
code-reviewing.md	docs: Split 'git-guide.md`.	2017-11-23 16:04:18 -08:00
code-style.md	lint: Add linter rule banning $.get and friends.	2018-02-13 16:47:59 -08:00
index.rst	docs: Move summer with Zulip doc from Dropbox paper to ReadTheDocs.	2018-04-01 22:11:45 -07:00
mypy.md	developer docs: Recommend the mypy daemon for running mypy locally.	2018-10-10 16:29:16 -07:00
summer-with-zulip.md	docs: Move summer with Zulip doc from Dropbox paper to ReadTheDocs.	2018-04-01 22:11:45 -07:00
version-control.md	docs: Reorganize developer docs to improve navigation.	2017-11-16 09:45:08 -08:00
zulipbot-usage.md	developer docs: Refer to 'zulipbot add' instead of 'zulipbot label'.	2018-09-21 12:16:39 -07:00