diff options
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> |