Merge pull request #1 from arnaud-zg/imgbot

[ImgBot] Optimize images
mermaid-js · Jun 10, 2019 · ec5627a · ec5627a
2 parents 24d1afd + 5e52138
commit ec5627a
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 0 deletions.
diff --git a/dist/www/images/header.png b/dist/www/images/header.png
diff --git a/dist/www/images/logo.png b/dist/www/images/logo.png
diff --git a/docs/img/header.png b/docs/img/header.png
diff --git a/docs/site/images/header.png b/docs/site/images/header.png
diff --git a/docs/site/images/logo.png b/docs/site/images/logo.png