Achilleas Pipinellis 8dbcd11075 Compress all PNG images under doc/ ... The pngquant tool was used https://pngquant.org, and particularly, the following command: /usr/bin/pngquant -f --skip-if-larger --ext .png --speed 1 image.png Before: 47584K After : 34924K		2018-08-27 15:52:03 +02:00
..
img	Compress all PNG images under doc/	2018-08-27 15:52:03 +02:00
index.md	Documentation process at GitLab	2018-08-16 09:30:04 +00:00
structure.md	Documentation process at GitLab	2018-08-16 09:30:04 +00:00
styleguide.md	Documentation process at GitLab	2018-08-16 09:30:04 +00:00
workflow.md	Documentation process at GitLab	2018-08-16 09:30:04 +00:00