diff options
Diffstat (limited to 'web/html/logout.php')
| -rw-r--r-- | web/html/logout.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/web/html/logout.php b/web/html/logout.php index a81c6455..a25da7c5 100644 --- a/web/html/logout.php +++ b/web/html/logout.php @@ -15,7 +15,7 @@ if (isset($_COOKIE["AURSID"])) { } html_header(); # print out the HTML header -print __("You have been successfully logged out.")."<br/>\n"; +print __("You have been successfully logged out.")."<br />\n"; html_footer("\$Id$"); |