diff options
| author | David Aspinall | 2000-03-23 17:57:40 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-03-23 17:57:40 +0000 |
| commit | 65b02c90c72f770bd98c531a95683a249e4a9bfd (patch) | |
| tree | c5e180cc0a60869210f488082062ba0618ff724c /html | |
| parent | 1a24a5e721af7304b410068218615973d481ff44 (diff) | |
Newline.
Diffstat (limited to 'html')
| -rw-r--r-- | html/develdownload.phtml | 1 |
1 files changed, 1 insertions, 0 deletions
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> |