Modified: build_system/web/index.php =================================================================== --- build_system/web/index.php 2011-01-13 15:48:16 UTC (rev 288) +++ build_system/web/index.php 2011-01-13 15:49:14 UTC (rev 289) @@ -175,6 +175,8 @@ <h1><?php echo $title ?></h1> <?php +if (!is_null($g_user)) + echo '<a href="/">« Back to full list</a>'; # Temporary until initial mirror is ready echo sprintf(