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