mirror of
https://github.com/zulip/zulip.git
synced 2025-11-05 06:23:38 +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