Sign in
eclipse
/
gerrit
/
www.eclipse.org
/
oomph
/
7547b46e67a1410505c3e7aeed6a9608b086d41c
/
.
/
index.php
blob: b9fe0ddeb0bcee53b2b05a45e6e210fff2833247 [
file
] [
log
] [
blame
]
<?
php
if
(
$_GET
[
"provisional"
]
!=
"1"
)
{
header
(
'Location: http://www.eclipse.org/projects/project.php?id=tools.oomph'
);
exit
;
}
?>
Hello World!