[rfa/doc] Update ui-out; Was: [patch] Add col_name to ui_out_table_header()

Andrew Cagney
2001-07-04T17:30: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.

Attached.

Andrew