mirror of
https://github.com/zulip/zulip.git
synced 2025-11-09 00:18:12 +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)