<?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); | |
?> |