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)

No differences found