unneeded double line in navi when no page selector is displayed
commit7762946d76dfd65e00572b90fb961dd4f89bd3f4
authorMarc Delisle <marc@infomarc.info>
Sun, 24 Jun 2007 11:59:16 +0000 (24 11:59 +0000)
committerMarc Delisle <marc@infomarc.info>
Sun, 24 Jun 2007 11:59:16 +0000 (24 11:59 +0000)
tree4a0c28df32780fd4bf8c371a5453b0a18e474c02
parent1316c6d07cf9255f1e25e217bf01bbd660a48a5d
unneeded double line in navi when no page selector is displayed
libraries/common.lib.php
navigation.php