dev_process/implementation-phase.php - gerrit/www.eclipse.org/projects - Git at Google

 <?php
 header("Location: http://www.eclipse.org/projects/dev_process/mature-phase.php");

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

	exit;
	?>