all: optimize png images (#6860)

2020-11-17 17:42:21 +01:00 · 2020-11-17 17:42:21 +01:00 · 9f5a3b52a7
parent 4a31b5702e
commit 9f5a3b52a7
7 changed files with 0 additions and 0 deletions
--- a/examples/2048/demo.png
+++ b/examples/2048/demo.png
--- a/examples/tetris/screenshot.png
+++ b/examples/tetris/screenshot.png
--- a/tutorials/img/articles1.png
+++ b/tutorials/img/articles1.png
--- a/tutorials/img/articles_json.png
+++ b/tutorials/img/articles_json.png
--- a/tutorials/img/hello.png
+++ b/tutorials/img/hello.png
--- a/tutorials/img/hello_html.png
+++ b/tutorials/img/hello_html.png
--- a/tutorials/img/time.png
+++ b/tutorials/img/time.png