mirror of https://github.com/zulip/zulip.git
7fe1780088
A few tools already use this, and it is part of server installation; install it in development environments as well. |
||
---|---|---|
.. | ||
__init__.py | ||
capitalization.py | ||
git-tools.bash | ||
gitlint-rules.py | ||
html_branches.py | ||
pretty_print.py | ||
provision.py | ||
provision_inner.py | ||
sanity_check.py | ||
template_parser.py | ||
test_script.py | ||
test_server.py |