Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Removed the second CodeQL config file
I'd added a second CodeQL config file because I thought that would fix a "problem" (which turned out to not be a problem at all) in the set up. This now removes that.
- Loading branch information