Merge branch 'master' of git+ssh://metalzone.distorted.org.uk/~mdw/etc/profile
[profile] / dot / gdbinit
1 ### GDB configuration
2
3 set tui border-kind ascii