Sign in
eclipse
/
gerrit
/
www.eclipse.org
/
statet
/
b6bde0784a38d09aeb65d0d87a571907a3b26003
/
.
/
_theme-nav-statet.php
blob: 6b58c7cfd8d9904e68d9371b7c0b9a28572cd38c [
file
] [
log
] [
blame
]
<?
php
$Nav
->
addNavSeparator
(
"StatET"
,
"/statet"
);
$Nav
->
addCustomNav
(
"News"
,
"/statet/news"
,
"_self"
,
3
);
$Nav
->
addCustomNav
(
"Mailing List: statet-users"
,
"https://accounts.eclipse.org/mailing-list/statet-users"
,
"_self"
,
3);