zulip/tools/lib
Tim Abbott aaee506fb2 provision: Always build pygments_data.json if missing.
While it's a bit of extra complexity to do this check, which I'm not
excited about, we've had multiple folks spend significant time being
confused rebasing past d7d8632525 into
deleting `pygments_data.json`, with provision not rebuilding it, so
this seems worth merging as a transitional fix even if we decide to
remove it in 2 months.
2020-02-20 10:25:11 -08:00
..
__init__.py
capitalization.py realm: Add private_message_policy setting. 2020-01-13 12:20:42 -08:00
gitlint-rules.py lint: Allow revert commit messages in gitlint. 2018-02-13 09:21:01 -08:00
graph.py cleanup: Delete leading newlines. 2019-08-06 23:29:11 -07:00
html_branches.py python: Migrate open statements to use with. 2019-07-20 15:48:52 -07:00
html_grep.py python: Migrate open statements to use with. 2019-07-20 15:48:52 -07:00
pretty_print.py cleanup: Delete leading newlines. 2019-08-06 23:29:11 -07:00
provision.py provisioning: Support Ubuntu 19.10 eoan. 2020-02-12 09:56:42 -08:00
provision_inner.py provision: Always build pygments_data.json if missing. 2020-02-20 10:25:11 -08:00
sanity_check.py python: Mark intentionally unused imports with noop statements. 2019-02-22 16:54:47 -08:00
template_parser.py template_parser: Fix Jinja2 tag matching with strip whitespace syntax. 2020-01-16 12:53:34 -08:00
test_script.py python: Migrate open statements to use with. 2019-07-20 15:48:52 -07:00
test_server.py mypy: Upgrade from 0.720 to 0.730. 2019-11-13 12:38:45 -08:00