diff options
author | Erich Eckner <git@eckner.net> | 2017-09-05 09:54:32 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2017-09-05 09:54:32 +0200 |
commit | 5867cb10d272910c48457b5339ad4adbe746e987 (patch) | |
tree | f69e9f43fcf0838076f039227083439581a13933 | |
parent | eb0c7b81544cd07ac62d297cddb8b82b337c42c7 (diff) | |
download | builder-5867cb10d272910c48457b5339ad4adbe746e987.tar.xz |
bin/build-master-status: include style.css
-rwxr-xr-x | bin/build-master-status | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/build-master-status b/bin/build-master-status index e765c36..4c34f93 100755 --- a/bin/build-master-status +++ b/bin/build-master-status @@ -241,6 +241,7 @@ if ${web}; then '<html>' \ '<head>' \ '<title>List of broken package builds</title>' \ + '<link rel="stylesheet" type="text/css" href="/static/style.css">' \ '</head>' \ '<body>' \ '<a href="build-logs/">build logs</a><br>' \ |