Re: [patch] Add col_name to ui_out_table_header()

Eli Zaretskii
2001-06-22T01:35:00Z

> 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.