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