From 0b027ad8d27a0be30a34922ac62b92b2f64d6f42 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 16 Aug 2001 15:15:39 +0000
Subject: Add link to individual files

---
 html/develdownload.php | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'html/develdownload.php')

diff --git a/html/develdownload.php b/html/develdownload.php
index 4476d395..f1549ea5 100644
--- a/html/develdownload.php
+++ b/html/develdownload.php
@@ -73,6 +73,10 @@ notes about work-in-progress.
 <td>RPM package </td>
 <td><?php download_link("ProofGeneral-3.3pre010810-1.noarch.rpm") ?></td>
 </tr>
+<tr>
+<td>individual files</td>
+<td><a href="ProofGeneral">http access to files in development release</a>
+</tr>
 </table>
 <!-- End Warning. -->
 <p>
-- 
cgit v1.2.3