zulip/tools/lib
Sahil Batra ba1fe77996 settings: Add UI for realm-level default of enter_sends settings. 2021-09-21 14:56:25 -07:00
..
__init__.py
capitalization.py settings: Add UI for realm-level default of enter_sends settings. 2021-09-21 14:56:25 -07:00
git-tools.bash lint: Add .bash extension for tools/lib/git-tools.bash. 2021-06-25 09:01:13 -07:00
gitlint-rules.py gitlint-rules: Remove convoluted binary search for imperative forms. 2021-03-22 18:08:01 -07:00
html_branches.py python: Remove locally dead code. 2021-08-19 01:51:37 -07:00
pretty_print.py docs: Fix capitalization mistakes. 2021-05-10 09:57:26 -07:00
provision.py requirements: Install gitlint from its Debian package. 2021-09-17 17:05:18 -07:00
provision_inner.py mypy: Add types-Pygments. 2021-08-02 22:31:46 -07:00
sanity_check.py sanity_check: Improve output for manual installation. 2021-04-01 10:54:56 -07:00
template_parser.py docs: Fix capitalization mistakes. 2021-05-10 09:57:26 -07:00
test_script.py Rename default branch to ‘main’. 2021-09-06 12:56:35 -07:00
test_server.py python: Simplify stdio flushing using print(…, flush=True). 2021-06-09 14:05:31 -07:00