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
Add option to avoid showing other files' errors #1579
Since showing errors from other files was added recently, I'm adding an option to revert back to not showing them.
Note I tried to look at my changes in the documentation but the
Thanks for the patch! LGTM.
The Travis failure is surprising indeed. I've found the culprit: the file
@cpitclaudel Do you know who to contact to fix this?