dev_process/project-status-infrastructure-page1.php - www.eclipse.org/projects - Git at Google

 <?php
 header("Location: http://www.eclipse.org/projects/dev_process/project-status-infrastructure.php");

 exit;
 ?>
	<?php
	header("Location: http://www.eclipse.org/projects/dev_process/project-status-infrastructure.php");

	exit;
	?>