chiark / gitweb /
putty-defaults: Prevent changing of the window title.
[profile] / gdbinit
1 ### GDB configuration
2
3 set tui border-kind ascii