Dinesh e2df0d171f user_settings: Add send_read_receipts setting. ... This will be useful to let users enable/disable sharing read receipts once we add that feature. Note: Added "I've" to IGNORED_PHRASES in tools/lib/capitalization.py to avoid capitalization errors for the label text of this setting.		2021-10-07 17:46:05 -07:00
..
__init__.py	…
capitalization.py	user_settings: Add send_read_receipts setting.	2021-10-07 17:46:05 -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