[python] Add gdb.Type.name attribute.
This page took 0.050017 seconds and 3 git commands to generate.