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