* gdbint.texinfo (User Interface): A new section about ui_out
authorEli Zaretskii <eliz@gnu.org>
Sun, 1 Apr 2001 09:07:08 +0000 (09:07 +0000)
committerEli Zaretskii <eliz@gnu.org>
Sun, 1 Apr 2001 09:07:08 +0000 (09:07 +0000)
commit0ee5478628133b6daedb04d236dfde8e8abfe953
tree5478c8d9d8734e36c16e1d48d0200e58a10168b5
parentc534679c58f645dd74018e94d11e776f8c444ced
* gdbint.texinfo (User Interface): A new section about ui_out
functions, based on text written by Fernando Nasser.
gdb/doc/ChangeLog
gdb/doc/gdbint.texinfo