remove useless <br/> from the top navigation panel

This commit is contained in:
Fred Drake 2003-09-11 04:14:20 +00:00
parent 4587fa21ea
commit 11b138fbf7
1 changed files with 1 additions and 1 deletions

View File

@ -235,7 +235,7 @@ sub get_version_text() {
sub top_navigation_panel() { sub top_navigation_panel() {
return "\n<div id='top-navigation-panel'>\n" return "\n<div id='top-navigation-panel'>\n"
. make_nav_panel() . make_nav_panel()
. "<br /><hr /></div>\n"; . "<hr /></div>\n";
} }
sub bot_navigation_panel() { sub bot_navigation_panel() {