zulip/tools/lib
Steve Howell 3dd1a9211c tools: Remove html-grep.
I built this in August 2016, but I haven't used it
since, and all the more recent commits are just for
things like mypy sweeps.
2020-04-21 14:12:57 -07:00
..
__init__.py Extract tools/lib/template_parser.py. 2016-08-01 16:27:50 -07:00
capitalization.py python: Convert function type annotations to Python 3 style. 2020-04-18 20:42:48 -07:00
git-tools.bash tools: Give require_clean_work_tree our nice UI touches. 2020-04-06 17:52:10 -07:00
gitlint-rules.py gitlint-rules: Fix bogus type annotations. 2020-04-19 13:36:58 -07:00
graph.py python: Convert function type annotations to Python 3 style. 2020-04-18 20:42:48 -07:00
html_branches.py python: Convert function type annotations to Python 3 style. 2020-04-18 20:42:48 -07:00
pretty_print.py python: Convert function type annotations to Python 3 style. 2020-04-18 20:42:48 -07:00
provision_inner.py provision: Manage digests more rigorously. 2020-04-20 15:06:47 -07:00
provision.py provision: Add dependencies for Chromium used by latest puppeteer. 2020-04-20 23:25:45 -07:00
sanity_check.py python: Convert function type annotations to Python 3 style. 2020-04-18 20:42:48 -07:00
template_parser.py python: Convert function type annotations to Python 3 style. 2020-04-18 20:42:48 -07:00
test_script.py python: Convert function type annotations to Python 3 style. 2020-04-18 20:42:48 -07:00
test_server.py python: Convert function type annotations to Python 3 style. 2020-04-18 20:42:48 -07:00