RESOLVED FIXED 125545
Rename WebNumber.h to APINumber.h 
https://bugs.webkit.org/show_bug.cgi?id=125545
Summary Rename WebNumber.h to APINumber.h
Anders Carlsson
Reported 2013-12-10 14:53:46 PST
Rename WebNumber.h to APINumber.h
Attachments
Patch (16.82 KB, patch)
2013-12-10 14:54 PST, Anders Carlsson 		bdakin: review+
DetailsFormatted DiffDiff
View All Add attachment proposed patch, testcase, etc.
Anders Carlsson
Comment 1 2013-12-10 14:54:58 PST
Created attachment 218909 [details] Patch
Anders Carlsson
Comment 2 2013-12-10 14:57:40 PST
Committed r160391: <http://trac.webkit.org/changeset/160391>
Note You need to log in before you can comment on or make changes to this bug.