Re: RFA: Delete CPLUS_MARKER

Eli Zaretskii
2002-10-06T18:24:16Z

> Date: Sat, 5 Oct 2002 16:17:31 -0400
> From: Daniel Jacobowitz <drow@mvista.com>
>
> Eli, is the gdbint.texinfo bit OK?

Yes, fine with me. Thanks.