doc/error_info.html

<!DOCTYPE html>
<html>
<head>
<meta http-equiv="refresh" content="0; url=html/index.html#error_info">
<script>window.location.href = "html/index.html#error_info";</script>
</head>
<body>
<p>Redirecting to <a href="html/index.html#error_info">index.html#error_info</a>...</p>
</body>
</html>
adoc docs 2026-01-12 15:31:52 -05:00			`<!DOCTYPE html>`
			`<html>`
Boost Exception 2008-06-28 18:29:40 +00:00			`<head>`
adoc docs 2026-01-12 15:31:52 -05:00			`<meta http-equiv="refresh" content="0; url=html/index.html#error_info">`
			`<script>window.location.href = "html/index.html#error_info";</script>`
Boost Exception 2008-06-28 18:29:40 +00:00			`</head>`
			`<body>`
adoc docs 2026-01-12 15:31:52 -05:00			`<p>Redirecting to <a href="html/index.html#error_info">index.html#error_info</a>...</p>`
Boost Exception 2008-06-28 18:29:40 +00:00			`</body>`
			`</html>`