mirror of
https://github.com/github/codeql.git
synced 2026-04-28 10:15:14 +02:00
These docs were taken from the corresponding files in JavaScript, and parameter names were changed to match.
These docs were taken from the corresponding files in JavaScript, and parameter names were changed to match.