Merge pull request github#5342 from shati-patel/docs-delete-unused-sc…

…ript Docs: Remove unused script and workflow
Codes-Exe · Mar 5, 2021 · c53ce00 · c53ce00
2 parents 767d314 + 85205a2
commit c53ce00
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 316 deletions.
diff --git a/.github/workflows/generate-query-help-docs.yml b/.github/workflows/generate-query-help-docs.yml
diff --git a/docs/codeql/query-help-markdown.py b/docs/codeql/query-help-markdown.py