Merge branch 'master' of git+ssh://ponder.ncipher.com/~mwooding/etc/profile
[profile] / gdbinit
1 ### GDB configuration
2
3 set tui border-kind ascii