RESOLVED FIXED 117992
gdb: Remove the webcore.py pretty printer. 
https://bugs.webkit.org/show_bug.cgi?id=117992
Summary gdb: Remove the webcore.py pretty printer.
Raphael Kubo da Costa (:rakuco)
Reported 2013-06-25 08:18:47 PDT
gdb: Remove the webcore.py pretty printer.
Attachments
Patch (2.65 KB, patch)
2013-06-25 08:19 PDT, Raphael Kubo da Costa (:rakuco) 		jochen: review+
DetailsFormatted DiffDiff
View All Add attachment proposed patch, testcase, etc.
Raphael Kubo da Costa (:rakuco)
Comment 1 2013-06-25 08:19:30 PDT
Created attachment 205403 [details] Patch
jochen
Comment 2 2013-06-25 08:21:48 PDT
Comment on attachment 205403 [details] Patch ok
Raphael Kubo da Costa (:rakuco)
Comment 3 2013-06-26 04:46:26 PDT
Committed r151987: <http://trac.webkit.org/changeset/151987>
Note You need to log in before you can comment on or make changes to this bug.