archived.php - www.eclipse.org/technology - Git at Google

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