Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Fix several typos #3724
@jzakrzewski Thanks for review. Could you point out which files / directories in the repo are copied (=will be overwritten eventually) and where they come from ? I would put them as exceptions into the spellcheck script, also it might be a good idea to report the typos upstream.