mirror of
https://github.com/jquery/jquery-ui.git
synced 2025-01-07 20:34: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
