If the navigation box would show as empty, disable it.
authorrich <rich>
Sun, 10 Oct 2004 16:40:32 +0000 (16:40 +0000)
committerrich <rich>
Sun, 10 Oct 2004 16:40:32 +0000 (16:40 +0000)
commit595bd1b7c016e106d45907100a79754c9daf9fb0
tree2e9c85df89ae19eaef84483f048bdea6b673263b
parentd513396938a8682bf1a9971c752c425587198ef9
If the navigation box would show as empty, disable it.
debian/changelog
scripts/page.ml