mirror of https://github.com/zulip/zulip.git
837369d339
This tool was part of a very ad hoc investigation during 2017 into our JS dep dependencies. It's very out of date, and it has a non-trivial maintenance cost, as these type of tools seem to come up in every code sweep. |
||
---|---|---|
.. | ||
__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 |