Christian Helmuth 63048fb89f doc: replace http by https in links where possible
This also fixes some mixed content pages on genode.org and, thus,
removes the ugly browser warning, e.g., on
https://genode.org/documentation/release-notes/17.05.
2020-05-27 11:56:47 +02:00
..
2020-05-27 11:56:46 +02:00
2014-05-27 11:14:44 +02:00
2012-03-17 13:33:38 +01:00
2019-05-29 11:02:24 +02:00