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/bugs.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/bugs.html')
| -rw-r--r-- | www/bugs.html | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/www/bugs.html b/www/bugs.html index fca13033..1ac9421a 100644 --- a/www/bugs.html +++ b/www/bugs.html @@ -16,9 +16,8 @@ <!--*********************************************************************--> Please report any bugs in KLEE to - the <a href="http://keeda.stanford.edu/mailman/listinfo/klee-dev">klee-dev - mailing list</a>. You need to be subscribe to the list in order to - send your report. + the <a href="klee-dev.html">klee-dev mailing list</a>. You need to + be subscribe to the list in order to send your report. </div> </body> |