jquery/jquery-ui — pull request #627 by ukd1 (2012-04-04 14:19:15+00:00)
Title: Optimize images in jquery-ui

Hi guys,

Most of the images in the repo weren't optimised, which wastes time and bandwidth for users. I've optimized them using some png tools, hopefully this will help.

Russell