Fix the bug with unrecognised extension pages turning up as redlinks
authorrich <rich>
Mon, 14 Aug 2006 18:25:29 +0000 (18:25 +0000)
committerrich <rich>
Mon, 14 Aug 2006 18:25:29 +0000 (18:25 +0000)
commitb37133871d15daa2846f013f59e7e6abc35387aa
treec9586cacd7865744de74c394c8be13f1fefa5a08
parent63ef27854a7eb10dd3cc06531114ca171f430cbe
Fix the bug with unrecognised extension pages turning up as redlinks
in the superdirs.
scripts/page.ml