--- a/Admin/website/dist/download_past.html	Thu Jun 30 08:23:47 2005 +0200
+++ b/Admin/website/dist/download_past.html	Thu Jun 30 08:57:53 2005 +0200
@@ -13,7 +13,10 @@
     <div class="hr"><hr/></div>
     <?include file="//include/navigation_dist.include.html"?>
     <div class="hr"><hr/></div>
+
     <div id="content">
+        <?include file="//include/mirrorlist.minor.include.html"?>
+        <div class="hr"><hr/></div>
 
         <h2>Archive</h2>