documentation/nightly/index.php - gerrit/www.eclipse.org/etrice - Git at Google

 <?php
 header("HTTP/1.1 303 See other");
 header("Location: introduction.html");
 exit();
 ?>
	<?php
	header("HTTP/1.1 303 See other");
	header("Location: introduction.html");
	exit();
	?>