tools/proposals.php - www.eclipse.org/projects - Git at Google

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