[Webkit-unassigned] [Bug 25884] WebKit needs a style linting tool

bugzilla-daemon at webkit.org bugzilla-daemon at webkit.org
Tue Jul 14 08:47:07 PDT 2009


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





--- Comment #41 from David Levin <levin at chromium.org>  2009-07-14 08:47:05 PDT ---
In a future patch, it would be nice to rename it to something like
"webkit-lint" (no py ending and chmod +x to make it runnable directly but given
the current stage of its development, it seemed ok to do this after this first
checkin).

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



More information about the webkit-unassigned mailing list