deploy: 981a4c39f4

api/basic_json/operator_ltlt/index.html

@@ -5,11 +5,10 @@
     <meta charset="utf-8">
     <title>Redirecting...</title>
     <link rel="canonical" href="../../operator_ltlt/">
-    <meta name="robots" content="noindex">
     <script>var anchor=window.location.hash.substr(1);location.href="../../operator_ltlt/"+(anchor?"#"+anchor:"")</script>
     <meta http-equiv="refresh" content="0; url=../../operator_ltlt/">
 </head>
 <body>
-Redirecting...
+You're being redirected to a <a href="../../operator_ltlt/">new destination</a>.
 </body>
 </html>