diff options
Diffstat (limited to 'html')
| -rw-r--r-- | html/develdownload.php | 4 |
1 files changed, 4 insertions, 0 deletions
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> |