builds feed better date format
diff --git a/index.php b/index.php
index 593069c..f3c4b28 100644
--- a/index.php
+++ b/index.php
@@ -24,7 +24,7 @@
$feed = new BuildFeed ( "https://hudson.eclipse.org/xtext/view/Xtext-Xtend/job/xtext-xtend/rssAll" );
$builds = array_slice($feed->posts, 0, 7);
foreach ( $builds as $build ) {
- $clDate = gmdate('d.M.Y H:i:s', date($build->ts));
+ $clDate = gmdate('d M H:i:s', date($build->ts));
print "<p><img src=\"/modeling/tmf/images/$build->status.png\" alt=\"$build->status\"/> <a target=\"_blank\" href=\"$build->link\" title=\"$build->title\">#$build->num</a> $clDate";
print "</p>\n";
}
