mirror of
https://github.com/github/codeql.git
synced 2026-04-29 10:45:15 +02:00
Just like our support for the `PyYAML` PyPI package that you import with `import yaml` is in `Yaml.qll`. Since this file does not provide any public predicates/modules, it should be safe to rename it.