jquery-ui/24-rss-square.png at main

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

2022-12-20 21:50:16 +01:00