diff options
| -rw-r--r-- | eclipse.platform.releng.tychoeclipsebuilder/eclipse/publishingFiles/templateFiles/index.template_R4_7_maintenance.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/eclipse.platform.releng.tychoeclipsebuilder/eclipse/publishingFiles/templateFiles/index.template_R4_7_maintenance.php b/eclipse.platform.releng.tychoeclipsebuilder/eclipse/publishingFiles/templateFiles/index.template_R4_7_maintenance.php index 9a35a0d9f..3b82ca10b 100644 --- a/eclipse.platform.releng.tychoeclipsebuilder/eclipse/publishingFiles/templateFiles/index.template_R4_7_maintenance.php +++ b/eclipse.platform.releng.tychoeclipsebuilder/eclipse/publishingFiles/templateFiles/index.template_R4_7_maintenance.php @@ -89,7 +89,7 @@ require("DL.thin.header.php.html"); <?php } ?> <div id="midcolumn"> -<h1>Eclipse <?php echo $STREAM; ?> <?php echo $BUILD_TYPE_NAME; ?> Build: <?php echo $BUILD_ID; ?> +<h1>Eclipse <?php echo $STREAM; ?>a <?php echo $BUILD_TYPE_NAME; ?> Build: <?php echo $BUILD_ID; ?> <?php if (file_exists("buildUnstable")) { echo " <a href=\"https://wiki.eclipse.org/Platform-releng/Unstable_build\" title=\"Unstable Build\" style='color:red;'>Unstable!</a>\n"; |