diff options
Diffstat (limited to 'www/menu.html.incl')
| -rw-r--r-- | www/menu.html.incl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/www/menu.html.incl b/www/menu.html.incl index 1ae4183f..344787af 100644 --- a/www/menu.html.incl +++ b/www/menu.html.incl @@ -15,7 +15,7 @@ <div class="submenu"> <label>Quick Links</label> - <a href="http://keeda.stanford.edu/mailman/listinfo/klee-dev">klee-dev (mailing list)</a> + <a href="klee-dev.html">klee-dev (mailing list)</a> <a href="http://llvm.org/bugs/">Bug Reports</a> <a href="http://llvm.org/">LLVM Home</a> </div> |