This is the mail archive of the
gdb-patches@sources.redhat.com
mailing list for the GDB project.
Re: [patch] Add col_name to ui_out_table_header()
- To: ac131313 at cygnus dot com
- Subject: Re: [patch] Add col_name to ui_out_table_header()
- From: "Eli Zaretskii" <eliz at is dot elta dot co dot il>
- Date: Fri, 22 Jun 2001 11:34:02 +0300
- CC: gdb-patches at sources dot redhat dot com
- References: <3B3214A8.1080906@cygnus.com>
- Reply-to: Eli Zaretskii <eliz at is dot elta dot co dot il>
> Date: Thu, 21 Jun 2001 11:37:12 -0400
> From: Andrew Cagney <ac131313@cygnus.com>
>
> This patch adds a ``col_name'' argument to the ui_out_table_header()
> call.
This needs to be accompanied by a suitable change to gdbint.texinfo,
since ui_out_table_header is documented there.