mirror of
https://github.com/flutter/flutter.git
synced 2026-02-20 02:29:02 +08:00
This will let us delete webkit-patch and a bunch of python code and it will save me some annoyance at needing to type "webkit-patch pretty-diff" all the time. R=abarth@chromium.org Review URL: https://codereview.chromium.org/944193003