diff options
| -rw-r--r-- | html/devel.phtml | 2 |
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> |