[Bug python/16048] add option to print typenames in printers

[tromey at sourceware dot org]

https://sourceware.org/bugzilla/show_bug.cgi?id=16048

Tom Tromey <tromey at sourceware dot org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |tromey at sourceware dot org
         Resolution|---                         |DUPLICATE

--- Comment #1 from Tom Tromey <tromey at sourceware dot org> ---
Dup.  Oft-requested feature I think.

*** This bug has been marked as a duplicate of bug 10662 ***

-- 
You are receiving this mail because:
You are on the CC list for the bug.