chiark / gitweb /
~mdw / profile / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
blame | history | raw | HEAD
dot/ercrc.el: New IRC command `/GREET' to greet robots.
[profile] / dot / gdbinit
1 ### GDB configuration
2
3 set tui border-kind ascii
Dotfiles and other configuration.