diff -r 78a25071ed88 -r 3dffe58a573f docs/html/check-repositories.html --- a/docs/html/check-repositories.html Wed Apr 10 13:48:44 2019 +0200 +++ b/docs/html/check-repositories.html Wed Apr 10 13:50:24 2019 +0200 @@ -53,6 +53,7 @@