mirror of
https://github.com/zulip/zulip.git
synced 2025-11-04 22:13:26 +00:00
These files don't exist in this repository anymore, so there's no need to mention them in exclude lists for lint and mypy.
398 B
398 B