On Mon, Apr 11, 2011 at 15:24, Basile Starynkevitch <bas...@starynkevitch.net> wrote:
> 2011-04-11 Basile Starynkevitch <bas...@starynkevitch.net> > * Makefile.in (PLUGIN_HEADERS): Add gimple-pretty-print.h > tree-pretty-print.h & realmpfr.h. OK. Diego.
