commit | 42af03dafee14cf7b3f4e324ceca1b0ababd1eb9 | [log] [tgz] |
---|---|---|
author | Andrew Burgess <aburgess@redhat.com> | Wed Feb 15 11:42:12 2023 +0000 |
committer | Andrew Burgess <aburgess@redhat.com> | Thu Feb 16 08:42:48 2023 +0000 |
tree | 5d55ccfea18d9bc1f71d1a443e565b0b59e76e08 | |
parent | 0ccade1ae2c00337d2b0bba2a175a060b93728a8 [diff] |
gdb/doc: document MI -remove-inferior command Back in 2010 the -remove-inferior command was added in commit a79b8f6ea8c2, unfortunately this command was never added to the documentation. This commit addresses that oversight. Approved-By: Eli Zaretskii <eliz@gnu.org>