aboutsummaryrefslogtreecommitdiff
path: root/html
diff options
context:
space:
mode:
authorDavid Aspinall2000-03-10 08:37:24 +0000
committerDavid Aspinall2000-03-10 08:37:24 +0000
commitb0856d2da99b62ca6f33528d6e01bfd604e39958 (patch)
tree6aa81fcda9c187188f783ddfd704e4a0e0cd5454 /html
parentdf219a89cbc33d7a632b3c95b3136b3e0840f9d5 (diff)
Removed note to register from here.
Diffstat (limited to 'html')
-rw-r--r--html/devel.phtml2
1 files changed, 0 insertions, 2 deletions
diff --git a/html/devel.phtml b/html/devel.phtml
index ac4dc950..fb25d399 100644
--- a/html/devel.phtml
+++ b/html/devel.phtml
@@ -17,8 +17,6 @@ Check the
<?php fileshow("ProofGeneral-3.1pre000309/CHANGES","CHANGES"); ?> file
<!-- End Warning. -->
for a summary of changes since the last stable version.
-<br>
-(please <a href="register.phtml">register</a> if you haven't already).
</li>
</ul>
<ul>