Re: [PLUGIN] Install c-tree.h header

[Diego Novillo]

On Tue, Aug 2, 2011 at 10:09, Romain Geissler <romain.geiss...@gmail.com> wrote:

> 2011-08-02  Romain Geissler  <romain.geiss...@gmail.com>
>
>        * Makefile.in (PLUGIN_HEADERS): Add C_TREE_H.

OK.


Diego.