Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2018-03-10 14:30:04 +0100
committerErich Eckner <git@eckner.net>2018-03-10 14:30:04 +0100
commit30e05f52359521ccc4fd387e14c4147a413a2049 (patch)
tree1b34e267f573ea4dab97430b1d56586f7f06025f
parent9714f8d729a53b4b55c72b7d6be3ba35148cdc6f (diff)
web-scripts/build-list.php: add link to main page
-rw-r--r--web-scripts/build-list.php1
1 files changed, 1 insertions, 0 deletions
diff --git a/web-scripts/build-list.php b/web-scripts/build-list.php
index 98217de..cd197eb 100644
--- a/web-scripts/build-list.php
+++ b/web-scripts/build-list.php
@@ -20,6 +20,7 @@ print "<title>List of " . $to_show . " package builds</title>\n";
print "<link rel=\"stylesheet\" type=\"text/css\" href=\"/static/style.css\">\n";
print "</head>\n";
print "<body>\n";
+print "<a href=\"main page\">/</a>\n";
print "<a href=\"/build-logs/\">build logs</a><br>\n";
$mysql = new mysqli("localhost", "webserver", "empty", "buildmaster");