chiark / gitweb /
dot/gdbinit, git/gitignore: Save GDB command-line history.
authorMark Wooding <mdw@distorted.org.uk>
Thu, 11 Aug 2016 08:42:13 +0000 (09:42 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Thu, 11 Aug 2016 08:42:13 +0000 (09:42 +0100)
commit90e24a2e0573ed67e5facf4f1bb2cc9909c26c15
treea22ca9b413944d7f945ae729ddb1836c9da4d3de
parentbd67e4dc5d06f455a9914e4c1208a3588bc0c6a0
dot/gdbinit, git/gitignore: Save GDB command-line history.
dot/gdbinit
git/gitignore