index : website | |
Archlinux32 website - obsolete | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2018-05-02 09:24:40 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-05-02 09:24:40 +0200 |
commit | b57789d3e290d5bfac1729b4125904e6ad4eacda (patch) | |
tree | 9a52a394866711bbc9da89746004aa0c1fb60d62 /lib/style.php | |
parent | 2d8f8d193b9b4cf17b6eedd342149ff0d6ba7874 (diff) |
-rw-r--r-- | lib/style.php | 1 |
diff --git a/lib/style.php b/lib/style.php index 362f53e..6229aae 100644 --- a/lib/style.php +++ b/lib/style.php @@ -31,6 +31,7 @@ function print_header($title) { </div> <div id="content"> <?php + show_warning_on_offline_slave(); } function print_footer($copyright = "Copyright © 2002-2018 <a href=\"mailto:jvinet@zeroflux.org\" title=\"Contact Judd Vinet\">Judd Vinet</a> and <a href=\"mailto:aaron@archlinux.org\" title=\"Contact Aaron Griffin\">Aaron Griffin</a>.") { |