From 65b02c90c72f770bd98c531a95683a249e4a9bfd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 23 Mar 2000 17:57:40 +0000
Subject: Newline.

---
 html/develdownload.phtml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'html')

diff --git a/html/develdownload.phtml b/html/develdownload.phtml
index ddd8636d..1dfac047 100644
--- a/html/develdownload.phtml
+++ b/html/develdownload.phtml
@@ -35,6 +35,7 @@ the planned changes to come.
 <!-- WARNING!  Lines below automatically edited by makefile. -->
   <li> gzip'ed tar file: 
       <?php download_link("ProofGeneral-3.1pre000323.tar.gz") ?>,
+      <br>
       or the same thing in a zip file:
       <?php download_link("ProofGeneral-3.1pre000323.zip") ?>,
   </li>
-- 
cgit v1.2.3