mirror of
https://github.com/zulip/zulip.git
synced 2026-07-09 21:21:47 +08:00
These were useful as a transitional workaround to ignore type errors that only show up with django-stubs, while avoiding errors about unused type: ignore comments without django-stubs. Now that the django-stubs transition is complete, switch to type: ignore comments so that mypy will tell us if they become unnecessary. Many already have. Signed-off-by: Anders Kaseorg <anders@zulip.com> |
||
|---|---|---|
| .. | ||
| lib | ||
| management | ||
| migrations | ||
| __init__.py | ||
| auth.py | ||
| models.py | ||
| README.md | ||
| urls.py | ||
| views.py | ||
ZILENCER -- The Zulip license manager
This app is the place for storing state about various deployments of Zulip that exist in the world.