ui/dev.html - gerrit/www.eclipse.org/jdt - Git at Google

 <!doctype html public "-//w3c//dtd html 4.0 transitional//en">
 <html>
    <head>
       <meta http-equiv="refresh" content="0; url=dev.php" />
    </head>
    <body>
       <a href="dev.php">This document has moved</a>
    </body>
 </html>
	<!doctype html public "-//w3c//dtd html 4.0 transitional//en">
	<html>
	<head>
	<meta http-equiv="refresh" content="0; url=dev.php" />
	</head>
	<body>
	<a href="dev.php">This document has moved</a>
	</body>
	</html>