Commit graph

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
Nick Thomas
d2212a8b5f Add online terminal documentation 2016-12-19 21:27:08 +00:00