From 09f07a886ee472265ae151e72c0ed9225da20361 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <cristic@cs.stanford.edu>
Date: Tue, 26 Jul 2011 18:03:47 +0000
Subject: Added a link to the searchable archive created by David R.

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

(limited to 'www/GetInvolved.html')

diff --git a/www/GetInvolved.html b/www/GetInvolved.html
index 41c84e54..c94ca765 100644
--- a/www/GetInvolved.html
+++ b/www/GetInvolved.html
@@ -21,7 +21,7 @@ contribute, here are some resources that may prove useful.</p>
 <h2>Mailing Lists</h2>
 
 <p>Currently the main list for KLEE discussion (both for users and developers)
-is <a href="http://keeda.stanford.edu/mailman/listinfo/klee-dev">klee-dev</a>.</p>
+is <a href="klee-dev.html">klee-dev</a>.</p>
 
 <p>Commit messages to the KLEE repository go to 
 <a href="http://keeda.stanford.edu/mailman/listinfo/klee-commits">klee-commits</a>. This
-- 
cgit 1.4.1