index : website | |
Archlinux32 website - obsolete | gitolite user |
summaryrefslogtreecommitdiff |
-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>.") { |