diff options
| author | Yuchen Pei <id@ypei.org> | 2023-06-29 20:01:51 +1000 |
|---|---|---|
| committer | Yuchen Pei <id@ypei.org> | 2023-06-29 20:01:51 +1000 |
| commit | 2987818804f7435a616f75b696a018966c0c310a (patch) | |
| tree | 9dc74c5b8e4777cbed732fb3e8594b3aee27bf72 /misc/bin | |
| parent | 947ee69d9d34d9b20e206b4c224c49022082d8b8 (diff) | |
some minor changes
Diffstat (limited to 'misc/bin')
| -rwxr-xr-x[-rw-r--r--] | misc/bin/gdb-mi.sh | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/misc/bin/gdb-mi.sh b/misc/bin/gdb-mi.sh index 39320b5..39320b5 100644..100755 --- a/misc/bin/gdb-mi.sh +++ b/misc/bin/gdb-mi.sh |