diff --git a/htdocs/main.inc.php b/htdocs/main.inc.php index 1c4e38de4e5..2e181f7adca 100644 --- a/htdocs/main.inc.php +++ b/htdocs/main.inc.php @@ -378,7 +378,6 @@ function top_menu($head, $title="") print "\n"; print "\n"; - // print ''; print ''; /*