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/klee-dev.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/klee-dev.html')
| -rw-r--r-- | www/klee-dev.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/www/klee-dev.html b/www/klee-dev.html index 8f965e8a..5434ce57 100644 --- a/www/klee-dev.html +++ b/www/klee-dev.html @@ -21,8 +21,8 @@ mailing list.</p> - <p>However, before doing so, please check <a href=" - http://www.mail-archive.com/klee-dev@keeda.stanford.edu/">klee-dev's + <p>However, before doing so, please + check <a href="http://www.mail-archive.com/klee-dev@imperial.ac.uk/">klee-dev's searchable archive<a/> to see if your question has already been answered.</p> |