diff options
| author | gingerBill <gingerBill@users.noreply.github.com> | 2024-02-05 13:58:32 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-05 13:58:32 +0000 |
| commit | 1ebb7f8e9dd337f482f4ce04563b80a00c47443e (patch) | |
| tree | 524794b638c1757d040e6d7ab4dd0fe902473e93 /src/check_type.cpp | |
| parent | 4685cf10851a5ebe1a13fd90acabe1ea8c21dee2 (diff) | |
| parent | 8ea8fbeccbe35a88765782f807430238c498ab41 (diff) | |
Merge pull request #3170 from flysand7/run-args-fix
Make run args take the first '--' as the start of the args, instead of the last '--'
Diffstat (limited to 'src/check_type.cpp')
0 files changed, 0 insertions, 0 deletions