chiark / gitweb /
~mdw / profile / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
dot/gdbinit, git/gitignore: Save GDB command-line history.
[profile] / dot / gdbinit
2016-08-11 Mark Woodingdot/gdbinit, git/gitignore: Save GDB command-line history. blob | commitdiff | raw
2013-06-29 Mark Woodingdot/gdbinit: Some small tweaks. blob | commitdiff | raw | diff to current
2009-07-18 Mark WoodingGreat reorganization. blob | commitdiff | raw | diff to current
Dotfiles and other configuration.