download.php - www.eclipse.org/libra - Git at Google

 <?php
 	header('Location: http://eclipse.org/libra/download');
 ?>
	<?php
	header('Location: http://eclipse.org/libra/download');
	?>