Merge pull request #237 from anotherthomas/master
authorMark Florisson <markflorisson88@gmail.com>
Thu, 30 May 2013 22:18:18 +0000 (15:18 -0700)
committerMark Florisson <markflorisson88@gmail.com>
Thu, 30 May 2013 22:18:18 +0000 (15:18 -0700)
added an option to set the gdb executable


Trivial merge