mirror of
https://github.com/zulip/zulip.git
synced 2025-11-17 20:41:46 +00:00
Check `options.full` in `pyflakes.py` instead of `linters.py` to make zulint independent of `./tools/lint`.
Check `options.full` in `pyflakes.py` instead of `linters.py` to make zulint independent of `./tools/lint`.