From 60dbbf4368f89bcabed1b3adf95dc0a59d08b5d9 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <cristic@cs.stanford.edu>
Date: Wed, 23 Jan 2013 16:30:55 +0000
Subject: Updated text referring to the old mailing list on keeda.

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

(limited to 'www/OpenProjects.html')

diff --git a/www/OpenProjects.html b/www/OpenProjects.html
index 33888ba0..d4a01964 100644
--- a/www/OpenProjects.html
+++ b/www/OpenProjects.html
@@ -18,7 +18,7 @@
   This page lists a variety of open projects that are natural (and tractable)
   extensions of KLEE and things that we would love to see people work on.  If
   you are interested in tackling any of the projects, please mail
-  <a href="http://keeda.stanford.edu/mailman/listinfo/klee-dev">klee-dev</a>
+  <a href="klee-dev.html">klee-dev</a>
   with your ideas -- or even better, your patches!.</a> 
 
   <ul>
-- 
cgit 1.4.1