diff options
author | Cristian Cadar <cristic@cs.stanford.edu> | 2013-08-07 16:44:24 +0000 |
---|---|---|
committer | Cristian Cadar <cristic@cs.stanford.edu> | 2013-08-07 16:44:24 +0000 |
commit | 56f3e3f7f76543642351a7895727e71793191d9a (patch) | |
tree | a2946ab3ad4b567292cdd4c5a2ffcf374cf414a4 /klee | |
parent | 4609f2f2acff8a649a66fd6488b101fa3a7e3950 (diff) |
Redirect to the GitHub page (temporary solution).
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> |