From a4676777d668d406a442302e340b93c4a29cab32 Mon Sep 17 00:00:00 2001
From: Thomas Schwinge <tschwinge@gnu.org>
Date: Thu, 30 Aug 2007 12:59:26 +0000
Subject: Update to the new wiki location.

---
 devel.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'devel.html')

diff --git a/devel.html b/devel.html
index 9453bdc1..c0799d1c 100644
--- a/devel.html
+++ b/devel.html
@@ -86,8 +86,8 @@ system</a></h3>
 There are essentially two possibilities: either you install the GNU/Hurd on a
 system (see <a href="/software/hurd/install.html">here</a>) or if you don't
 have a system to install it on, you can be provided with a shell account.  See
-<a href="http://hurd.gnufans.org/bin/view/Hurd/PublicHurdBoxen">this wiki
-page</a> for details.
+<a href="http://www.bddebian.com/~wiki/Hurd/PublicHurdBoxen">this wiki page</a>
+for details.
 
 <H3><A HREF="#TOCtasks" NAME="tasks">Tasks</A></H3>
 <P>
-- 
cgit v1.2.3