Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
check-sources: don't ignore toplevel in 3rd-party
We only want to ignore the files in the third-party subdirectories, not the ones in the toplevel, that we write ourselves.
- Loading branch information