[ImgBot] Optimize images

*Total -- 221.20kb -> 152.97kb (30.85%) /docs/img/header.png -- 65.45kb -> 31.38kb (52.05%) /vergeml/other/img/logo-big.png -- 91.20kb -> 65.55kb (28.12%) /docs/img/term.png -- 59.69kb -> 51.70kb (13.39%) /vergeml/other/img/logo.png -- 4.87kb -> 4.34kb (10.83%)
mme · Nov 7, 2018 · ef5b541 · ef5b541
1 parent a82b044
commit ef5b541
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 0 deletions.
diff --git a/docs/img/header.png b/docs/img/header.png
diff --git a/docs/img/term.png b/docs/img/term.png
diff --git a/vergeml/other/img/logo-big.png b/vergeml/other/img/logo-big.png
diff --git a/vergeml/other/img/logo.png b/vergeml/other/img/logo.png