dev_process/index-quick.php - www.eclipse.org/projects - Git at Google

 <?php
 header( 'Location: https://wiki.eclipse.org/Development_Resources' );
 ?>
	<?php
	header( 'Location: https://wiki.eclipse.org/Development_Resources' );
	?>