]> source.dussan.org Git - jquery-ui.git/commit
projects / jquery-ui.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4558844) | patch
Demos: Optimize PNG files
authorДилян Палаузов <dpa-github@aegee.org>
Tue, 20 Dec 2022 20:50:16 +0000 (22:50 +0200)
committerGitHub <noreply@github.com>
Tue, 20 Dec 2022 20:50:16 +0000 (21:50 +0100)
commit827abdfccd13033a7cd0c5d83b213d38f20a4fa2
treea84a93754de2841a7c8ae8291b6a79072a7588bbtree | snapshot
parent455884470c269939411d1704949a89f7e8d9ec7ccommit | diff
Demos: Optimize PNG files

Optimization done by calling:

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

Closes gh-2132
demos/selectmenu/images/24-rss-square.png diff | blob | history
demos/selectmenu/images/24-video-square.png diff | blob | history
The official jQuery user interface library: https://github.com/jquery/jquery-ui