diff options
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> |