diff options
Diffstat (limited to 'libs/local_function/index.html')
| -rw-r--r-- | libs/local_function/index.html | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/libs/local_function/index.html b/libs/local_function/index.html new file mode 100644 index 0000000000..e55456a369 --- /dev/null +++ b/libs/local_function/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, 2009-2012</p> + <p>Distributed under the Boost Software License, Version 1.0 (see + accompanying file <a href="../../LICENSE_1_0.txt"> + LICENSE_1_0.txt</a> 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> |