xref: /aosp_15_r20/external/google-styleguide/google-r-style.html (revision 8c35d5ee8e2913d4bd6623e2b93232b1da0ab719)
1*8c35d5eeSXin Li<!DOCTYPE html>
2*8c35d5eeSXin Li<html>
3*8c35d5eeSXin Li<head>
4*8c35d5eeSXin Li  <meta charset="utf-8">
5*8c35d5eeSXin Li  <meta http-equiv="refresh" content="1; url=Rguide.html">
6*8c35d5eeSXin Li  <title>Redirecting</title>
7*8c35d5eeSXin Li</head>
8*8c35d5eeSXin Li<!-- The BODY onLoad redirect is the best: it preserves #fragments and
9*8c35d5eeSXin Li     ?queries.  But it requires javascript.  If that fails, the
10*8c35d5eeSXin Li     meta-refresh kicks in; it works more generally, but loses fragments
11*8c35d5eeSXin Li     and queries, takes a second, and pollutes the browser history.
12*8c35d5eeSXin Li     If they both fail, we let the user manually click on the new link.
13*8c35d5eeSXin Li-->
14*8c35d5eeSXin Li<body onload="location.replace(location.href.replace('google-r-style.html', 'Rguide.html'))">
15*8c35d5eeSXin Li  Redirecting you to <a href="Rguide.html">Rguide.html</a>.
16*8c35d5eeSXin Li</body>
17*8c35d5eeSXin Li</html>
18