mirror of https://github.com/zulip/zulip.git
4e421ebe12
We'll be soon documenting a production workflow that involves using it, and that means it needs to live under scripts/ (since tools/ isn't present in release tarballs). |
||
---|---|---|
.. | ||
__init__.py | ||
capitalization.py | ||
find_add_class.py | ||
gitlint-rules.py | ||
graph.py | ||
html_branches.py | ||
html_grep.py | ||
pretty_print.py | ||
provision.py | ||
provision_inner.py | ||
sanity_check.py | ||
template_parser.py | ||
test_script.py | ||
test_server.py |