chiark / gitweb /
Merge commit 'ponder/master'
[profile] / gdbinit
1 ### GDB configuration
2
3 set tui border-kind ascii