# HG changeset patch
# User wenzelm
# Date 1233057578 -3600
# Node ID b9a7ea6c6da7c739604a7f22306167d848feee84
# Parent  da018485b89d4d8a786e15ac055311506773cca4# Parent  1f8f3d26a2cf0e496a9563cd539f9fccb8a722cc
merged

diff -r 1f8f3d26a2cf -r b9a7ea6c6da7 Admin/makedist
--- a/Admin/makedist	Tue Jan 27 12:59:22 2009 +0100
+++ b/Admin/makedist	Tue Jan 27 12:59:38 2009 +0100
@@ -1,12 +1,10 @@
 #!/usr/bin/env bash
 #
-# $Id$
-#
 # makedist -- make Isabelle source distribution
 
 ## global settings
 
-REPOS="http://isabelle.in.tum.de/repos/isabelle"
+REPOS="https://isabelle.in.tum.de/repos/isabelle"
 
 DISTPREFIX=${DISTPREFIX:-~/tmp/isadist}