12345678910111213141516171819 |
- <!-- Copyright 2018 Paul Fultz II
- Distributed under the Boost Software License, Version 1.0.
- (http://www.boost.org/LICENSE_1_0.txt)
- -->
- <!DOCTYPE HTML>
- <html lang="en-US">
- <head>
- <meta charset="UTF-8">
- <meta http-equiv="refresh" content="1;url=doc/">
- <script type="text/javascript">
- window.location.href = "doc/"
- </script>
- <title>Page Redirection</title>
- </head>
- <body>
- <!-- Note: don't tell people to `click` the link, just tell them that it is a link. -->
- If you are not redirected automatically, follow the <a href='doc/'>link to example</a>
- </body>
- </html>
|