On Fri, Mar 30, 2012 at 4:06 AM, Yasuo Ohgaki <yohg...@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 -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
