chiark / gitweb /
zealot font: use xfonts-traditional 10x20
[ian-dotfiles.git] / dot / gdbinit
1 set confirm off