Merge branch 'master' of git.distorted.org.uk:~mdw/publish/public-git/profile

[profile] / dot / gdbinit

### GDB configuration

set tui border-kind ascii
set disassembly-flavor intel
set disassemble-next-line auto
set history save on
set confirm off