# HG changeset patch # User Kai T. Ohlhus # Date 1534315279 -7200 # Node ID f5d07829a487c16abed87c342d3ab2a6565a9992 # Parent 0eb919e81f47e899a82cd36196fcbe1090a361a2 * _includes/install.html(Windows): Changes discussed with jwe. diff -r 0eb919e81f47 -r f5d07829a487 _includes/install.html --- a/_includes/install.html Tue Aug 14 10:53:00 2018 +0200 +++ b/_includes/install.html Wed Aug 15 08:41:19 2018 +0200 @@ -53,7 +53,7 @@