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