This repository has been archived by the owner on Oct 31, 2021. It is now read-only.
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Clarify 'unused identifier' rules in FAQ
I didn't understand this when I read this originally, and the penny didn't drop till I read the original issue discussion. I've reworded it to hopefully make it clearer.
- Loading branch information