On Mon, Apr 11, 2011 at 15:24, Basile Starynkevitch <[email protected]> wrote:
> 2011-04-11 Basile Starynkevitch <[email protected]> > * Makefile.in (PLUGIN_HEADERS): Add gimple-pretty-print.h > tree-pretty-print.h & realmpfr.h. OK. Diego.
- Patch: add {tree,gimple}-pretty-print.h & realmpf... Basile Starynkevitch
- Re: Patch: add {tree,gimple}-pretty-print.h &... Basile Starynkevitch
- Ping Patch: add {tree,gimple}-pretty-print.h... Basile Starynkevitch
- Re: Ping Patch: add {tree,gimple}-pretty... Diego Novillo
- Re: Ping Patch: add {tree,gimple}-pr... Basile Starynkevitch
- Re: Ping Patch: add {tree,gimpl... Diego Novillo
