releases/index.html - www.eclipse.org/webtools - Git at Google

 <html>
 <head>
 <meta http-equiv="refresh" content="5; url=3.13/index.php" />
 </head>
 <body>
 <a href="3.13/index.php">This document is merely a placeholder.  Proceed to the 3.13 release's page.</a>
 </body>
 </html>
	<html>
	<head>
	<meta http-equiv="refresh" content="5; url=3.13/index.php" />
	</head>
	<body>
	<a href="3.13/index.php">This document is merely a placeholder. Proceed to the 3.13 release's page.</a>
	</body>
	</html>