chiark / gitweb /
gitconfig: push.default=simple does not work with wheezy
[ian-dotfiles.git] / dot / gdbinit
1 set confirm off