XhmikosR 12532dc913 Remove http from docs search. (#28557) ... We use only `https` for a few months now.		2019-03-27 20:57:28 +02:00
..
4.3	Remove http from docs search. (#28557)	2019-03-27 20:57:28 +02:00
versions.html	versions: sort from newer to older. (#27898)	2018-12-23 14:12:13 +02:00