On Thu, Jun 9, 2011 at 19:06, Diego Novillo <dnovillo@google.com> wrote: >> +2011-06-09 Gabriel Charette ...
13 years, 10 months ago
(2011-06-10 02:08:56 UTC)
#3
On Thu, Jun 9, 2011 at 19:06, Diego Novillo <dnovillo@google.com> wrote:
>> +2011-06-09 Gabriel Charette <gchare@google.com>
>> +
>> + * pph-streamer-out.c (pph_out_tree_header): Rename from
>> + pph_output_tree_header. Update all users.
>> +
>
> OK.
Committed at rev. 174879.
Diego.
Issue 4528135: [pph] Rename pph_output__tree_header to respect naming convention
(Closed)
Created 13 years, 10 months ago by Gabriel Charette
Modified 13 years, 10 months ago
Reviewers: Lawrence Crowl, Diego Novillo
Base URL: svn://gcc.gnu.org/svn/gcc/branches/pph/gcc/cp/
Comments: 0