diff options
| author | ruki <[email protected]> | 2023-04-30 15:23:52 +0800 |
|---|---|---|
| committer | GitHub <[email protected]> | 2023-04-30 15:23:52 +0800 |
| commit | 76bfacb404b3736934515c7b2ce68b2887bd7b17 (patch) | |
| tree | 3e67ca604fadbfb6488d61a6e6938d0c047e0f44 /scripts/makeppa | |
| parent | 5075fc82edcb714df4f34f4dec34268ee2914d49 (diff) | |
| parent | 7df5a4647b5444c2ed0e31d322173fa52d92dd5f (diff) | |
Merge pull request #3696 from wsw0108/check-debugger-gede
check debugger gede with 'norun = true'
Diffstat (limited to 'scripts/makeppa')
0 files changed, 0 insertions, 0 deletions