aboutsummaryrefslogtreecommitdiff
path: root/html
diff options
context:
space:
mode:
authorDavid Aspinall1999-07-02 11:42:15 +0000
committerDavid Aspinall1999-07-02 11:42:15 +0000
commit451ad28e4d5f3e9580418e7a405765e3ac7fe1a4 (patch)
treea51f2e1e600eb8f68602d3de902c7f873e2ba621 /html
parent1443c8d16df9afad2db7c9607338d8a387c2db90 (diff)
Missing space.
Diffstat (limited to 'html')
-rw-r--r--html/main.phtml4
1 files changed, 2 insertions, 2 deletions
diff --git a/html/main.phtml b/html/main.phtml
index cf75aeb0..c18f417e 100644
--- a/html/main.phtml
+++ b/html/main.phtml
@@ -101,8 +101,8 @@ To see what Proof General looks like in use, have a look at this
<p>
-You can download Proof General <?php link_root("download","here") ?>
-or contact the developers
+You can download Proof General
+<?php link_root("download","here") ?> or contact the developers
<?php hlink("feedback.phtml","here","Feedback form")?>.
</p>