Generated.

[homepage.git] / blog / archive / 2016 / 06 / index.html

diff --git a/blog/archive/2016/06/index.html b/blog/archive/2016/06/index.html
index 3bac54d5fcf1c46768e3db8693ad32f017280aae..a4a07a76b3e31fefe27febc58aee87fc84aa6096 100644 (file)
--- a/blog/archive/2016/06/index.html
+++ b/blog/archive/2016/06/index.html
@@ -30,7 +30,7 @@
       </div>
       <div class="body">
         <p>When I set out a few weeks ago to figure out
-<a href="http://people.skolelinux.org/pere/blog/What_is_the_best_multimedia_player_in_Debian_.html">which
+<a href="https://people.skolelinux.org/pere/blog/What_is_the_best_multimedia_player_in_Debian_.html">which
 multimedia player in Debian claimed to support most file formats /
 MIME types</a>, I was a bit surprised how varied the sets of MIME types
 the various players claimed support for.  The range was from 55 to 130