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