Admin/website/dist/download.html

--- a/Admin/website/dist/download.html	Tue Jun 28 12:25:19 2005 +0200
+++ b/Admin/website/dist/download.html	Tue Jun 28 12:32:38 2005 +0200
@@ -14,7 +14,7 @@
     <?include file="//include/navigation_dist.include.html"?>
     <div class="hr"><hr/></div>
     <div id="content">
-
+        <?include file="//include/mirrorlist.minor.include.html"?>
         <h2><?value key="distname"?></h2>
 
         <p>The following source and binary packages of <?value key="distname"?>