Sign in
eclipse
/
www.eclipse.org
/
statet
/
e0da5c1e042dfd423f8f80e5cef9bcf30f09bcff
/
.
/
_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);