diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2013-01-23 16:30:55 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2013-01-23 16:30:55 +0000 |
| commit | 60dbbf4368f89bcabed1b3adf95dc0a59d08b5d9 (patch) | |
| tree | d374ede23f690e7ebfc7b6f38ca2f124cb6d6e22 /www/OpenProjects.html | |
| parent | b42f6baf4358a81683cd0ab1a8529683a6819ab5 (diff) | |
| download | klee-60dbbf4368f89bcabed1b3adf95dc0a59d08b5d9.tar.gz | |
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
Diffstat (limited to 'www/OpenProjects.html')
| -rw-r--r-- | www/OpenProjects.html | 2 |
1 files changed, 1 insertions, 1 deletions
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> |