diff -r fb21858ad8da -r b7d1317b138e docs/web/install.html --- a/docs/web/install.html Tue Sep 19 15:32:53 2017 +0200 +++ b/docs/web/install.html Tue Oct 17 15:15:54 2017 +0200 @@ -34,7 +34,7 @@

Resources