[prev in list] [next in list] [prev in thread] [next in thread] 

List:       klee-commits
Subject:    [klee-commits] [PATCH] www: update link to the CDE packaging tool
From:       j.neuschaefer () gmx ! net (=?UTF-8?q?Jonathan=20Neusch=C3=A4fer?=)
Date:       2013-06-07 10:18:35
Message-ID: 1370600315-4657-1-git-send-email-j.neuschaefer () gmx ! net
[Download RAW message or body]

The link to the klee package still needs to be updated.
---
 www/GetStarted.html |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/www/GetStarted.html b/www/GetStarted.html
index f135b2a..abd1b7b 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>
-- 
1.7.10.4


[prev in list] [next in list] [prev in thread] [next in thread]