diff --git a/docs/codeql/index.html b/docs/codeql/index.html index de47832a997c..2f9dcd451ef7 100644 --- a/docs/codeql/index.html +++ b/docs/codeql/index.html @@ -101,7 +101,7 @@