[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