Merge commit 'crybaby/master'; commit 'ponder/master'
[profile] / gdbinit
2008-02-11 Mark Woodinggdbinit: New file for GDB customization.