diff options
Diffstat (limited to '.github/workflows/gdbscript')
| -rw-r--r-- | .github/workflows/gdbscript | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/.github/workflows/gdbscript b/.github/workflows/gdbscript deleted file mode 100644 index b5d161f6..00000000 --- a/.github/workflows/gdbscript +++ /dev/null @@ -1,10 +0,0 @@ -#!/usr/bin/env false - -set disable-randomization off -catch throw -run -if $_isvoid ($_exitsignal) - quit $_exitcode -end -bt -entry-values if-needed -full -frame-arguments all -quit 1 |