tree 63fce29267550c4133d5c4f3005cb5a3976a7b38
parent 970c6b7e156107e961dd7b3ac0ad33d9fccb6bff
author Tom Tromey <tromey@adacore.com> 1681496218 -0600
committer Tom Tromey <tromey@adacore.com> 1682972387 -0600

Document DAP 'launch' parameter

The Debugger Adapter Protocol defines a "launch" request but leaves
the parameters up to the implementation:

    Since launching is debugger/runtime specific, the arguments for
    this request are not part of this specification.

This patch adds some documentation for the parameter GDB currently
defines.  Note that I plan to add more parameters here, and perhaps
there will be other extensions in time as well.

Reviewed-By: Eli Zaretskii <eliz@gnu.org>