diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2011-07-26 18:03:47 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2011-07-26 18:03:47 +0000 |
| commit | 09f07a886ee472265ae151e72c0ed9225da20361 (patch) | |
| tree | 1053c77dbf90fb1c78f19920b311d93f4e6ca3c3 /www/GetInvolved.html | |
| parent | a0f86b88094721fb3b9118916e9314cdc180f1a9 (diff) | |
| download | klee-09f07a886ee472265ae151e72c0ed9225da20361.tar.gz | |
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
Diffstat (limited to 'www/GetInvolved.html')
| -rw-r--r-- | www/GetInvolved.html | 2 |
1 files changed, 1 insertions, 1 deletions
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 |