[Webkit-unassigned] [Bug 19777] Remove unnecessary options to make_names.pl command line

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=19777


jmalonzo at gmail.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED




------- Comment #3 from jmalonzo at gmail.com  2008-06-27 15:26 PDT -------
Thanks. Landed in r34836


-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug, or are watching the assignee.