Merge pull request #93 from paris-ci/imgbot

[ImgBot] Optimize images
paris-ci · Feb 24, 2019 · 312651d · 312651d
2 parents d5c7e31 + 6b8321a
commit 312651d
Show file tree

Hide file tree

Showing 15 changed files with 0 additions and 0 deletions.
diff --git a/docs/user/img/cse_1.png b/docs/user/img/cse_1.png
diff --git a/docs/user/img/cse_2.png b/docs/user/img/cse_2.png
diff --git a/docs/user/img/cse_3.png b/docs/user/img/cse_3.png
diff --git a/docs/user/img/gdev_1.png b/docs/user/img/gdev_1.png
diff --git a/docs/user/img/gdev_2.png b/docs/user/img/gdev_2.png
diff --git a/docs/user/img/gdev_3.png b/docs/user/img/gdev_3.png
diff --git a/docs/user/img/gdev_4.png b/docs/user/img/gdev_4.png
diff --git a/docs/user/img/gdev_5.png b/docs/user/img/gdev_5.png
diff --git a/docs/user/img/gdev_6.png b/docs/user/img/gdev_6.png
diff --git a/docs/user/img/gdev_7.png b/docs/user/img/gdev_7.png
diff --git a/docs/user/img/gdev_8.png b/docs/user/img/gdev_8.png
diff --git a/docs/user/img/oc_1.png b/docs/user/img/oc_1.png
diff --git a/docs/user/img/oc_2.png b/docs/user/img/oc_2.png
diff --git a/docs/user/img/oc_3.png b/docs/user/img/oc_3.png
diff --git a/docs/user/img/wn_1.png b/docs/user/img/wn_1.png