diff options
Diffstat (limited to 'src/boost/libs/contract/index.html')
-rw-r--r-- | src/boost/libs/contract/index.html | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/src/boost/libs/contract/index.html b/src/boost/libs/contract/index.html new file mode 100644 index 00000000..6861cd17 --- /dev/null +++ b/src/boost/libs/contract/index.html @@ -0,0 +1,15 @@ +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> +<html> + <head> + <meta http-equiv="refresh" content="0; URL=doc/html/index.html"> + </head> + <body> + Automatic redirection failed, click this + <a href="doc/html/index.html">link</a> <hr> + <p>© Copyright Lorenzo Caminiti, 2008-2016</p> + <p>Distributed under the Boost Software License, Version 1.0 (see + accompanying file LICENSE_1_0.txt or a copy at + <a href="http://www.boost.org/LICENSE_1_0.txt">www.boost.org/LICENSE_1_0.txt + </a>)</p> + </body> +</html> |