diff options
author | 2018-07-14 00:57:36 +1000 | |
---|---|---|
committer | 2018-07-14 00:57:42 +1000 | |
commit | ed2fa6cdd9091a4392c29d0ed687a36a595d8de2 (patch) | |
tree | 11bb240c61bc321c9937af1a0a46bef07e33ded8 | |
parent | Fix archives by generating a static HTML file (diff) | |
download | planet-ed2fa6cdd9091a4392c29d0ed687a36a595d8de2.tar.gz planet-ed2fa6cdd9091a4392c29d0ed687a36a595d8de2.tar.bz2 planet-ed2fa6cdd9091a4392c29d0ed687a36a595d8de2.zip |
archives: fix header
-rw-r--r-- | archives/planet/index.php | 4 | ||||
-rw-r--r-- | archives/universe/index.php | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/archives/planet/index.php b/archives/planet/index.php index 0b75d30..6a2c70d 100644 --- a/archives/planet/index.php +++ b/archives/planet/index.php @@ -30,8 +30,8 @@ <a href="https://bugs.gentoo.org/" class="menulink">Bugs</a> | <a href="https://www.gentoo.org/downloads/" class="menulink">Get Gentoo!</a> | <a href="https://www.gentoo.org/support/" class="menulink">Support</a> | - <a href="https://wiki.gentoo.org/wiki/Main_Page" class="menulink">Wiki</a> - <a href="http://planet.gentoo.org/" class="menulink">Planet</a> + <a href="https://wiki.gentoo.org/wiki/Main_Page" class="menulink">Wiki</a> | + <a href="https://planet.gentoo.org/" class="menulink">Planet</a> </div></td> diff --git a/archives/universe/index.php b/archives/universe/index.php index 5e1ed42..ac212f5 100644 --- a/archives/universe/index.php +++ b/archives/universe/index.php @@ -30,8 +30,8 @@ <a href="https://bugs.gentoo.org/" class="menulink">Bugs</a> | <a href="https://www.gentoo.org/downloads/" class="menulink">Get Gentoo!</a> | <a href="https://www.gentoo.org/support/" class="menulink">Support</a> | - <a href="https://wiki.gentoo.org/wiki/Main_Page" class="menulink">Wiki</a> - <a href="http://planet.gentoo.org/" class="menulink">Planet</a> + <a href="https://wiki.gentoo.org/wiki/Main_Page" class="menulink">Wiki</a> | + <a href="https://planet.gentoo.org/" class="menulink">Planet</a> </div></td> |