Skip to content

Commit c392dbc

Browse files
Remove _codeql_detected_source_root and add to .gitignore
Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>
1 parent 9c40f5a commit c392dbc

File tree

2 files changed

+1
-1
lines changed

2 files changed

+1
-1
lines changed

.gitignore

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -106,3 +106,4 @@ site/
106106
*.coverage
107107
# bisect-ppx-report
108108
_coverage/*
109+
_codeql_detected_source_root

_codeql_detected_source_root

Lines changed: 0 additions & 1 deletion
This file was deleted.

0 commit comments

Comments
 (0)