mirror of
https://github.com/boostorg/optional.git
synced 2026-05-05 12:14:12 +02:00
9 lines
201 B
HTML
9 lines
201 B
HTML
|
<html>
|
||
|
|
<head>
|
||
|
|
<meta http-equiv="refresh" content="0; URL=doc/optional.html">
|
||
|
|
</head>
|
||
|
|
<body>
|
||
|
|
Automatic redirection failed, please go to
|
||
|
|
<a href="doc/optional.html">doc/optional.html</a>.
|
||
|
|
</body>
|
||
|
|
</html>
|