[2756] Oops remove garbage <

[root-odJJhXpcy38dnm+]

Revision: 2756
Author: pterjan
Date: 2012-01-22 18:11:47 +0100 (Sun, 22 Jan 2012)
Log Message:
-----------
Oops remove garbage <

Modified Paths:
--------------
build_system/web/index.php

Modified: build_system/web/index.php
===================================================================
--- build_system/web/index.php 2012-01-22 17:06:03 UTC (rev 2755)
+++ build_system/web/index.php 2012-01-22 17:11:47 UTC (rev 2756)
@@ -342,7 +342,7 @@
}
echo '<div align="center"><table>',
'<caption>', count($hosts), ' builds in progress.</caption>',
- '<tr><th>Machine</th><th>Arch</th><<th>User</th><th>Package</th><th>Target</th><th>Media</th></tr>',
+ '<tr><th>Machine</th><th>Arch</th><th>User</th><th>Package</th><th>Target</th><th>Media</th></tr>',
$s,
'</table></div>';
echo '<div class="clear"></div>';