diff options
Diffstat (limited to 'klee')
-rw-r--r-- | klee/www/index.html | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/klee/www/index.html b/klee/www/index.html index b76a42bcc93..95d18719f9b 100644 --- a/klee/www/index.html +++ b/klee/www/index.html @@ -6,6 +6,8 @@ <head> <META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"> <title>The KLEE Symbolic Virtual Machine</title> + <meta http-equiv="refresh" + content="0;url=http://ccadar.github.io/klee/"> <link type="text/css" rel="stylesheet" href="menu.css"> <link type="text/css" rel="stylesheet" href="content.css"> </head> |