Re: where should TUI documentation go?

Eli Zaretskii
2001-07-26T00:30:00Z

On Fri, 20 Jul 2001, Andrew Cagney wrote:

> >> gdbgui.texi ?
>
> I'd recommend deleting this file.

Done.