[Bug python/10782] New: type.pointer() does not seem to be documented

[pmuldoon at redhat dot com]

The Python Type.pointer() method does not seem to be documented either in cvs or
in the archer git repository.

-- 
           Summary: type.pointer() does not seem to be documented
           Product: gdb
           Version: archer
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: python
        AssignedTo: unassigned at sourceware dot org
        ReportedBy: pmuldoon at redhat dot com
                CC: gdb-prs at sourceware dot org


http://sourceware.org/bugzilla/show_bug.cgi?id=10782

------- You are receiving this mail because: -------
You are on the CC list for the bug, or are watching someone who is.