chiark / gitweb /
setup, pulseaudio, git: Add PulseAudio configuration; substituted dotfiles.
[profile] / dot / gdbinit
1 ### GDB configuration
2
3 set tui border-kind ascii