[ANNOUNCEMENT] GDB 13.1 released!

Philippe Waroquiers philippe.waroquiers@skynet.be
Wed Feb 22 22:00:12 GMT 2023


On Sun, 2023-02-19 at 19:16 +0400, Joel Brobecker via Gdb-announce via Gdb wrote:
>  ** It is now possible to use the "document" command to document
>      user-defined commands.

... to document user-defined aliases.  ?

Philippe




More information about the Gdb mailing list