| <!doctype html> | |
| <html lang="en"> | |
| <head> | |
| <meta charset="utf-8"> | |
| <title>Redirecting...</title> | |
| <link rel="canonical" href="../intermediate_representation/"> | |
| <script>var anchor=window.location.hash.substr(1);location.href="../intermediate_representation/"+(anchor?"#"+anchor:"")</script> | |
| <meta http-equiv="refresh" content="0; url=../intermediate_representation/"> | |
| </head> | |
| <body> | |
| You're being redirected to a <a href="../intermediate_representation/">new destination</a>. | |
| </body> | |
| </html> |