# HG changeset patch
# User wenzelm
# Date 1235678279 -3600
# Node ID 25a3531c0df5aa19ed57f377faf36332e64614c9
# Parent  1cbcebc859148e3c7998f5222089bf91bb75cc1a# Parent  1c912a9d820067652aa148be27711d8878dc9304
merged

diff -r 1c912a9d8200 -r 25a3531c0df5 Admin/makedist
--- a/Admin/makedist	Thu Feb 26 20:56:59 2009 +0100
+++ b/Admin/makedist	Thu Feb 26 20:57:59 2009 +0100
@@ -4,7 +4,7 @@
 
 ## global settings
 
-REPOS="https://isabelle.in.tum.de/repos/isabelle"
+REPOS="http://isabelle.in.tum.de/repos/isabelle"
 
 DISTPREFIX=${DISTPREFIX:-~/tmp/isadist}