gdbinit/Gdbinit — pull request #18 by bchretien (2014-03-18 15:17:54+00:00)
Title: Set prompt after sourcing .gdbinit.local.

This patch makes it possible to `set $COLOUREDPROMPT = 0` in `.gdbinit.local`.