Re: [patch 1/2] Make gdbtui a shell script

Tom Tromey
2011-12-21T17:26:01Z

>>>>> "Jan" == Jan Kratochvil <jan.kratochvil@redhat.com> writes:

Jan> I understand the Joel's proposal as dropping gdbtui entirely and
Jan> everywhere, so that users will notice it.

It would be fine by me.

Tom