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/GetStarted.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/GetStarted.html')
| -rw-r--r-- | www/GetStarted.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/www/GetStarted.html b/www/GetStarted.html index 71e6b63a..f135b2a2 100644 --- a/www/GetStarted.html +++ b/www/GetStarted.html @@ -236,7 +236,7 @@ runtime, which is built on top of the uClibc C library. to try KLEE.</li> </ol> -<p><b>NOTE:</b> If you are installing the system of Ubuntu 12.04 (or similar), you might want to take a look at this <a href="http://keeda.stanford.edu/pipermail/klee-dev/2012-September/000922.html">thread</a>.</p> +<p><b>NOTE:</b> If you are installing the system of Ubuntu 12.04 (or similar), you might want to take a look at this <a href="http://thread.gmane.org/gmane.comp.compilers.llvm.klee/923">message</a>.</p> <br/> </div> |