Rename patch_codeql.py to patch-codeql.py

GitHubSecurityLab · Dec 2, 2024 · 93871b2 · 93871b2
1 parent 5fe18ba
commit 93871b2
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/ql/hotspots/scripts/patch_codeql.py → ql/hotspots/scripts/patch-codeql.py b/ql/hotspots/scripts/patch_codeql.py → ql/hotspots/scripts/patch-codeql.py