[PATCH 1/2] Fix issues with gdb-memory-map.dtd
Joel Brobecker
brobecker@adacore.com
Fri Nov 24 21:30:00 GMT 2017
> You are probably the person that has the most chance to know how to
> update this file:
>
> http://sourceware.org/gdb/gdb-memory-map.dtd
>
> Any idea?
I can absolutely do that. But I'm wondering whether we might
just want to delete the file instead? Why keep a copy on
the website? I couldn't find a reference to it anywhere
in any of the webpages...
--
Joel
More information about the Gdb-patches
mailing list