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