From 08b9afecad034208209940ff1f2c64471a75272c Mon Sep 17 00:00:00 2001
From: Cristian Cadar <cristic@cs.stanford.edu>
Date: Wed, 12 Jun 2013 17:55:06 +0000
Subject: Patch by Jonathan Neuschäfer, updating link to CDE.
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@183848 91177308-0d34-0410-b5e6-96231b3b80d8
---
 www/GetStarted.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/www/GetStarted.html b/www/GetStarted.html
index f135b2a2..abd1b7bc 100644
--- a/www/GetStarted.html
+++ b/www/GetStarted.html
@@ -46,7 +46,7 @@ This package contains a self-contained source+binary distribution of KLEE and al
 </p>
 
 <p>
-The only requirement is that you are running a reasonably-modern x86-Linux distro that can execute 32-bit ELF binaries.  This package was created using the <a href="http://www.stanford.edu/~pgbovine/cde.html">CDE auto-packaging tool</a>.
+The only requirement is that you are running a reasonably-modern x86-Linux distro that can execute 32-bit ELF binaries.  This package was created using the <a href="http://www.pgbovine.net/cde.html">CDE auto-packaging tool</a>.
 </p>
 
 <p>
-- 
cgit 1.4.1