chiark / gitweb /
mdw-editor: If both VISUAL and EDITOR are set unusually, prefer EDITOR.
[profile] / gdbinit
1 ### GDB configuration
2
3 set tui border-kind ascii