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