mirror of
https://github.com/jquery/jquery-ui.git
synced 2024-12-07 06:14:24 +00:00
827abdfccd
Optimization done by calling:
for i in `find -name '*.png'`; do optipng -o7 -zm9 $i; done
Closes gh-2132
451 B
24x24px
451 B
24x24px
