[Dune] gdb pretty printers

[Christian Engwer]

Hi Oli,

> The implementation consists of a small number of Python scripts.
> I would like to host them on the Dune server.    I guess a separate
> top-level directory in the svn repository (like
> svn.dune-project.org/svn/gdb-pretty-printers)

I can create this repo. Alternatively you can create new project under 
http://users.dune-project.org/projects/projects and use redmine to
provide the repository (either git or svn).

Christian

> would be a good way.Are the any objections to this? Are there further
> comments regarding the infrastructure or generally this project?
> 
> A more detailed instruction on how to use the pretty printer will
> be posted in due time.  Supposedly it will be similar to the stl
> support described on http://sourceware.org/gdb/wiki/STLSupport
> 
> cheers,
> Oliver
> 
> _______________________________________________
> Dune mailing list
> Dune at dune-project.org
> http://lists.dune-project.org/mailman/listinfo/dune
>