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