mirror of
https://github.com/zulip/zulip.git
synced 2025-11-17 04:12:02 +00:00
We now don't use these at all, and they are likely to confuse us later e.g. when modifying third-party files. (imported from commit 2034949111466b22b1830ec087f30fa34445fcbd)