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