mrn/numberpicker — pull request #18 by roubert (2013-02-09 14:58:20+00:00)
Title: Replace duplicated resources with just one copy.

The files numberpicker_*_pressed_holo_*.png are identical copies, so it would seem more logical to delete the duplicates and just refer to the same file from the different XML files (and save some space and make the resources easier to navigate).