3 Commits

Author	SHA1	Message	Date
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
Achilleas Pipinellis	da05687d90	Update a bunch of docs images	2017-10-04 15:47:59 +02:00
James Edwards-Jones	72419f3a8b	Documentation for protected tags	2017-04-07 03:08:06 +01:00