]> ruderich.org/simon Gitweb - config/dotfiles.git/search
gdb/gdbinit: Use 16 as default output base.