[0/5] Additions to "save" command

Message ID 20230129162105.526266-1-tom@tromey.com
Headers
Series Additions to "save" command |

Message

Tom Tromey Jan. 29, 2023, 4:21 p.m. UTC
  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