mirror of
https://git.anonymousland.org/anonymousland/synapse.git
synced 2025-03-29 04:18:06 -04:00

The lists of source directories to lint between `tox.ini` and `lint.sh` became out of sync. This PR tightens them up and adds some comments reminding any future readers to keep the list in sync.