Re: add vector container type

Eli Zaretskii
2006-07-10T19:59:58Z

> Date: Mon, 10 Jul 2006 13:54:04 +0200 (CEST)
> From: "Mark Kettenis" <mark.kettenis@xs4all.nl>
> Cc: gdb-patches@sourceware.org, "Daniel Jacobowitz" <dan@codesourcery.com>
>
> Oh, and Eli will want you to write a paragraph on how to use this in
> gdbint.tex.

(You meant gdbint.texinfo.) Yep, it would be nice.