jquery/jquery-ui — pull request #708 by rilian (2012-08-07 20:22:55+00:00)
Title: Optimized images size with ImageOptim app

25 files changed, 0 insertions(+), 0 deletions(-)
rewrite demos/autocomplete/images/ui-anim_basic_16x16.gif (99%)
rewrite demos/droppable/images/high_tatras.jpg (62%)
rewrite demos/droppable/images/high_tatras2.jpg (62%)
rewrite demos/droppable/images/high_tatras4.jpg (65%)
rewrite demos/position/images/earth.jpg (82%)
rewrite demos/position/images/flight.jpg (68%)
rewrite demos/tooltip/images/st-stephens.jpg (99%)
rewrite demos/tooltip/images/tower-bridge.jpg (99%)
rewrite themes/base/images/ui-icons_222222_256x240.png (91%)
rewrite themes/base/images/ui-icons_2e83ff_256x240.png (91%)
rewrite themes/base/images/ui-icons_454545_256x240.png (91%)
rewrite themes/base/images/ui-icons_888888_256x240.png (91%)
rewrite themes/base/images/ui-icons_cd0a0a_256x240.png (91%)