Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
prefer HTTPS;
authorwenzelm
Wed, 08 May 2019 20:10:13 +0200
changeset 70248 edd3b2e06f90
parent 70247 3e45a3cf1059
child 70249 4ce07be8ba17
prefer HTTPS;
Admin/Windows/Installer/README file | annotate | diff | comparison | revisions 
--- a/Admin/Windows/Installer/README	Wed May 08 18:53:27 2019 +0200
+++ b/Admin/Windows/Installer/README	Wed May 08 20:10:13 2019 +0200
@@ -1,7 +1,7 @@
 Windows installer (based on 7zip)
 =================================
 
-* 7zip: http://www.7-zip.org/
+* 7zip: https://www.7-zip.org
 
 * 7zip self-extracting installer: https://github.com/chrislake/7zsfxmm
isabelle