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