mirror of
https://github.com/github/codeql.git
synced 2026-07-13 15:28:16 +02:00
Also remove options file, since it did nothing at all (and blocked experimental/library-tests/options from taking effect)
Also remove options file, since it did nothing at all (and blocked experimental/library-tests/options from taking effect)