| commit | 7547b46e67a1410505c3e7aeed6a9608b086d41c | [log] [tgz] |
|---|---|---|
| author | Eike Stepper <stepper@esc-net.de> | Tue Dec 05 09:53:11 2017 +0100 |
| committer | Eike Stepper <stepper@esc-net.de> | Tue Dec 05 09:53:11 2017 +0100 |
| tree | d982ac4363daf5a006688a38674c7f209be1c944 | |
| parent | 47b2ec460bb38450356075ee7c07b783c9ab6b35 [diff] |
More provisional.
diff --git a/index.php b/index.php index 980a0d5..b9fe0dd 100644 --- a/index.php +++ b/index.php
@@ -1 +1,3 @@ +<?php if ($_GET["provisional"] != "1") { header('Location: http://www.eclipse.org/projects/project.php?id=tools.oomph'); exit; } ?> + Hello World!