Skip to content

Rename CLI to CodeQL runner#159

Merged
robertbrignull merged 1 commit intomainfrom
rename_cli
Aug 26, 2020
Merged

Rename CLI to CodeQL runner#159
robertbrignull merged 1 commit intomainfrom
rename_cli

Commits

Commits on Aug 25, 2020