mirror of
https://github.com/zulip/zulip.git
synced 2025-11-04 14:03:30 +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