[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH 00/13] script language API for GDB
|
From: |
Tom Tromey |
|
Subject: |
Re: [PATCH 00/13] script language API for GDB |
|
Date: |
Mon, 23 Dec 2013 14:54:20 -0700 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) |
>>>>> "Doug" == Doug Evans <address@hidden> writes:
Doug> For those that don't care, "info pretty-printer" can still print
Doug> all of them. "info pretty-printer" et.al. would need some work,
Doug> sure, and one way to go would be to use "info <ext-lang>
Doug> pretty-printer".
I don't understand what this means.
Tom