gdb: Remove the webcore.py pretty printer.
Created attachment 205403 [details] Patch
Comment on attachment 205403 [details] Patch ok
Committed r151987: <http://trac.webkit.org/changeset/151987>