Merge pull request #1711 from jldgit/jldgit-gdb-script
authorJoão Matos <joao@tritao.eu>
Tue, 14 Apr 2015 21:05:02 +0000 (22:05 +0100)
committerJoão Matos <joao@tritao.eu>
Tue, 14 Apr 2015 21:05:02 +0000 (22:05 +0100)
commit12615adbdfeab7f4559d62d03f51713f129a7e56
tree0a82ec8b2186e743f747a684fcbe84c69f88a41d
parent3cb0fdabf974de668e14553fa42d0df1515c9145
parent63e7f0cee2586366c695190cb9b39aecbc5b9f5b
Merge pull request #1711 from jldgit/jldgit-gdb-script

Corrected mono-gdb.py use of "\u%X".format (val)