<?php

	# Set the theme for your project's web pages.
	# See the Committer Tools "How Do I" for list of themes
	# https://dev.eclipse.org/committers/ 
//	$theme = "Nova";


$Nav->addCustomNav("Technology Project", "http://projects.eclipse.org/projects/technology", "_self", 1);

?>