diff --git a/.gitignore b/.gitignore index 8bf6481d..f42bf85e 100644 --- a/.gitignore +++ b/.gitignore @@ -51,3 +51,4 @@ result result-* .ccls-cache +_codeql_detected_source_root diff --git a/_codeql_detected_source_root b/_codeql_detected_source_root deleted file mode 120000 index 945c9b46..00000000 --- a/_codeql_detected_source_root +++ /dev/null @@ -1 +0,0 @@ -. \ No newline at end of file