A few pretty print fixes for the GDB plugin. (#4001)
authorvkargov <kargov@gmail.com>
Sun, 4 Dec 2016 00:41:54 +0000 (16:41 -0800)
committerZoltan Varga <vargaz@gmail.com>
Sun, 4 Dec 2016 00:41:54 +0000 (19:41 -0500)
commit1e890d8428ee37b613b750dd84b33745c3db997c
tree862548d3db5c4b249f16b9fcfeef6ef6c07d41d9
parent8fc79cf5e303ead7ceb80157365a0ebee7ad22de
A few pretty print fixes for the GDB plugin. (#4001)
data/gdb/mono-gdb.py