web commit by HenrikBrixAndersen: Remove duplicate header
authorjoey <joey@0fa5a96a-9a0e-0410-b3b2-a0fd24251071>
Thu, 7 Jun 2007 13:57:24 +0000 (13:57 +0000)
committerjoey <joey@0fa5a96a-9a0e-0410-b3b2-a0fd24251071>
Thu, 7 Jun 2007 13:57:24 +0000 (13:57 +0000)
commit9bae3755848c9f02f931bced41cceb888dcbdb98
treee9723959aa518df5b074e85a2f521b2375c5f67c
parentd01efdf07c3449afa396348f4972eb077121670d
web commit by HenrikBrixAndersen: Remove duplicate header
doc/bugs/Problem_with_toc.pm_plug-in.mdwn