Re: make lint
- In reply to: Jamie Landeg-Jones : "Re: make lint"
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Sun, 11 Jun 2023 01:53:16 UTC
> LINT files are no longer created. Someone needs to prod the doc. team. Ooops, should have looked more closely at the email address I was replying to!