tree 5d55ccfea18d9bc1f71d1a443e565b0b59e76e08
parent 0ccade1ae2c00337d2b0bba2a175a060b93728a8
author Andrew Burgess <aburgess@redhat.com> 1676461332 +0000
committer Andrew Burgess <aburgess@redhat.com> 1676536968 +0000

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>