[patch 1/2] Make gdbtui a shell script

[Tom Tromey]

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