1 Commits (a71be9d62d0a8670f088ee4879ab5e72869dd9b1)

Author	SHA1	Message	Date
Andrew Morgan	31c5382d7a	Align the directories linted in CI with the defaults in scripts-dev/lint.sh (#9191) ... 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.	2021-01-21 18:26:52 +00:00