# HG changeset patch
# User wenzelm
# Date 1228139187 -3600
# Node ID 6d677da7b3395ebd1187f4094c542b240cae6474
# Parent  32831901e1ae4953e589c7db7c5f1c6c2d05a79e
updated to python2.5;

diff -r 32831901e1ae -r 6d677da7b339 Admin/Mercurial/hgwebdir.cgi
--- a/Admin/Mercurial/hgwebdir.cgi	Mon Dec 01 14:42:24 2008 +0100
+++ b/Admin/Mercurial/hgwebdir.cgi	Mon Dec 01 14:46:27 2008 +0100
@@ -4,7 +4,7 @@
 
 # adjust python path if not a system-wide install:
 import sys
-sys.path.insert(0, "/home/isabelle-repository/repos/mercurial-www4/lib64/python2.4/site-packages")
+sys.path.insert(0, "/home/isabelle-repository/repos/mercurial-www4/lib64/python2.5/site-packages")
 
 # enable importing on demand to reduce startup time
 from mercurial import demandimport; demandimport.enable()