diff options
author | Peter Dave Hello <hsu@peterdavehello.org> | 2016-05-27 15:39:43 +0300 |
---|---|---|
committer | Peter Dave Hello <hsu@peterdavehello.org> | 2016-06-29 14:22:15 +0300 |
commit | 9e6f99744e11c9b63f8a490666bdd96bca7dbde1 (patch) | |
tree | 413dc34fa9c68648b745c18f428a3ad0ea3465d8 /doc/ci/img/builds_tab.png | |
parent | 1023289605f075cef86833ab5c1b0e87d967f69e (diff) |
optimize png images losslessly using zopflipng
Diffstat (limited to 'doc/ci/img/builds_tab.png')
-rw-r--r-- | doc/ci/img/builds_tab.png | bin | 3845 -> 3047 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/ci/img/builds_tab.png b/doc/ci/img/builds_tab.png Binary files differindex d088b8b329d..35780e277ae 100644 --- a/doc/ci/img/builds_tab.png +++ b/doc/ci/img/builds_tab.png |