mirror of
https://github.com/jquery/jquery-ui.git
synced 2024-12-23 01:24:22 +00:00
827abdfccd
Optimization done by calling: for i in `find -name '*.png'`; do optipng -o7 -zm9 $i; done Closes gh-2132 |
||
---|---|---|
.. | ||
24-podcast-square.png | ||
24-rss-square.png | ||
24-video-square.png |