mirror of
https://github.com/jquery/jquery-ui.git
synced 2024-11-21 11:04:24 +00:00
827abdfccd
Optimization done by calling: for i in `find -name '*.png'`; do optipng -o7 -zm9 $i; done Closes gh-2132 |
||
---|---|---|
.. | ||
images | ||
custom_render.html | ||
default.html | ||
index.html | ||
product-selection.html |