Re: new json, push generated file?
| From: | Pierre Joye | Date: | Mon, 09 Feb 2015 05:44:57 +0000 |
| Subject: | Re: new json, push generated file? | ||
| References: | 1 2 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-82224@lists.php.net to get a copy of this message | ||
On Mon, Feb 9, 2015 at 11:10 AM, Xinchen Hui <laruence@php.net> wrote:
> Hey:
>
> On Mon, Feb 9, 2015 at 10:40 AM, Pierre Joye <pierre.php@gmail.com> wrote:
>> hi,
>>
>> Should we push json_parser.tab.c? Which is generated (re2c), just like
>> what is done in date or other?
>>
> I think we should, and also use a better name...(.tab.c?)
that too :)
--
Pierre
@pierrejoye | http://www.libgd.org