Re: Files generated by re2c
| From: | Nikita Popov | Date: | Mon, 09 Apr 2012 23:05:11 +0000 |
| Subject: | Re: Files generated by re2c | ||
| References: | 1 2 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-59577@lists.php.net to get a copy of this message | ||
On Fri, Mar 30, 2012 at 4:06 AM, Yasuo Ohgaki <yohgaki@ohgaki.net> wrote:
> Hi,
>
> I also would like to remove date from them.
> It seems --no-generation-date is the option for that.
*push*
Would be really nice to add this. The constantly changed files are a
bit annoying :)
Nikita