Call codeql.exe rather than codeql.cmd wrapper on Windows#77
Merged
robertbrignull merged 3 commits intogithub:mainfrom Jun 23, 2020
Merged
Call codeql.exe rather than codeql.cmd wrapper on Windows#77robertbrignull merged 3 commits intogithub:mainfrom
robertbrignull merged 3 commits intogithub:mainfrom