Sign in
eclipse
/
gerrit
/
www.eclipse.org
/
webtools
/
1fcfa019d2dbbe92b6072be733de0ef70e83ed65
/
.
/
community
/
education
/
index.php
blob: 82d1ac8e17f48913dee411977ec8d1bf3fe2097d [
file
] [
log
] [
blame
]
<?
php
header
(
"location: /webtools/community/education/web/index.php"
);
?>
