diff options
author | Erich Eckner <git@eckner.net> | 2018-06-11 13:40:51 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-06-11 13:40:51 +0200 |
commit | 8c116278a0bc8bd3be52419331d9bf866895322e (patch) | |
tree | a68794d7d8313e7ffa59c2e1b79116b4daa1ad44 | |
parent | 33d3a112b92b120119b243b2e891efd414da69c0 (diff) | |
download | archweb32-8c116278a0bc8bd3be52419331d9bf866895322e.tar.xz |
buildmaster/index.php: add link to gpg-keys.php
-rw-r--r-- | buildmaster/index.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/buildmaster/index.php b/buildmaster/index.php index 1c1d91c..a14a0ed 100644 --- a/buildmaster/index.php +++ b/buildmaster/index.php @@ -12,6 +12,7 @@ <a href="/buildmaster/build-list.php">build list</a> <a href="/buildmaster/build-list.php?show=broken">broken packages</a><br> <a href="/buildmaster/build-slaves.php">build-slaves</a> + <a href="/buildmaster/gpg-keys.php">gpg-keys</a> <a href="/buildmaster/status.php">status</a><br> <a href="https://buildmaster.archlinux32.org/build-logs/">build logs</a><br> <a href="/buildmaster/log.php?show=ssh">ssh-log</a> |