I was thinking we should change the tool's name from DumpRenderTree to RunWebKitTest.

What do you all think?

    -- Darin

_______________________________________________
webkit-dev mailing list
[email protected]
http://lists.webkit.org/mailman/listinfo/webkit-dev

Reply via email to