[PATCH 0/5] Additions to "save" command

Tom Tromey tom@tromey.com
Sun Jan 29 16:21:00 GMT 2023


Once again I wanted to be able to "save history" so I could keep some
commands for savekeeping.  So, I added this feature, then went through
bugzilla and fixed a few more "save" feature requests.

Tom




More information about the Gdb-patches mailing list