4 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
Dennis Tang	efec7e086d	Resolve "Frontend for clarifying the usefulness of the search bar"	2018-08-07 09:59:01 +00:00
Achilleas Pipinellis	babc1d023e	Change mode to 644 for all md and png files	2017-09-25 10:00:37 +02:00
Marcia Ramos	00e87532ca	Doc: Search through GitLab	2017-04-07 11:51:35 +00:00