mirror of
https://github.com/boostorg/statechart.git
synced 2026-01-24 06:22:11 +00:00
15 lines
271 B
HTML
15 lines
271 B
HTML
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 3.2//EN">
|
|
|
|
<html>
|
|
<head>
|
|
<meta http-equiv="refresh" content="0; URL=doc/index.html">
|
|
|
|
<title></title>
|
|
</head>
|
|
|
|
<body>
|
|
Automatic redirection failed, please go to <a href=
|
|
"doc/index.html">doc/index.html</a>.
|
|
</body>
|
|
</html>
|