diff options
Diffstat (limited to 'tools/build/index.html')
| -rw-r--r-- | tools/build/index.html | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/tools/build/index.html b/tools/build/index.html new file mode 100644 index 0000000000..12f22e4132 --- /dev/null +++ b/tools/build/index.html @@ -0,0 +1,21 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" + "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> +<!-- + Copyright 2003 Rene Rivera. + Distributed under the Boost Software License, Version 1.0. + (See accompanying file LICENSE_1_0.txt or copy at + http://www.boost.org/LICENSE_1_0.txt) + --> + +<html xmlns="http://www.w3.org/1999/xhtml"> +<head> + <meta http-equiv="refresh" content="0; URL=v2/index.html" /> + + <title></title> +</head> + +<body> + Automatic redirection failed, please go to <a href= + "v2/index.html">v2/index.html</a>. +</body> +</html> |