library-mirrors/jquery-ui
1
0
Fork 0
mirror of https://github.com/jquery/jquery-ui.git synced 2024-11-21 11:04:24 +00:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity
main
jquery-ui/demos/selectmenu/images
History
Дилян Палаузов 827abdfccd
Demos: Optimize PNG files 
Optimization done by calling:

    for i in `find -name '*.png'`; do optipng -o7 -zm9 $i; done

Closes gh-2132
2022-12-20 21:50:16 +01:00
..
24-podcast-square.png All: Optimize png images losslessly using zopflipng 2016-06-06 11:26:06 -04:00
24-rss-square.png Demos: Optimize PNG files 2022-12-20 21:50:16 +01:00
24-video-square.png Demos: Optimize PNG files 2022-12-20 21:50:16 +01:00