mirror of
https://github.com/apache/nuttx.git
synced 2025-12-08 02:32:54 +08:00
gdbserver:minidumpserver is powerful, so change name to gdbserver
Signed-off-by: anjiahao <anjiahao@xiaomi.com>
This commit is contained in:
1192
tools/gdbserver.py
Executable file
1192
tools/gdbserver.py
Executable file
File diff suppressed because it is too large
Load Diff
Reference in New Issue
Block a user