diff options
| -rwxr-xr-x | scripts/any_ci_x64.sh (renamed from scripts/kernel_ci_x64.sh) | 0 | ||||
| -rwxr-xr-x | scripts/gdb.sh (renamed from gdb.sh) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/scripts/kernel_ci_x64.sh b/scripts/any_ci_x64.sh index 614ff65e..614ff65e 100755 --- a/scripts/kernel_ci_x64.sh +++ b/scripts/any_ci_x64.sh |