Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Make check_code_format.sh not care about includes
The code being removed here was a fix for travis CI which is no longer in use. The git diff ignores files in the gitignore, so this workaround is no longer necessary.
- Loading branch information