mirror of
https://github.com/github/codeql.git
synced 2025-12-17 01:03:14 +01:00
In master, we need to switch to these, but for building for older versions we need to add our own support. Currently the v_1_9_255 files are nto used, but we will need them (in a differently-named directory) for a future release.