web commit by HenrikBrixAndersen: Remove duplicate header

diff --git a/doc/bugs/Problem_with_toc.pm_plug-in.mdwn b/doc/bugs/Problem_with_toc.pm_plug-in.mdwn
index 6b8e5923b66d53c6707275f08f5d75eac404940a..88516780ed483c1cd335537993cc0ad8a105ffbd 100644 (file)
--- a/doc/bugs/Problem_with_toc.pm_plug-in.mdwn
+++ b/doc/bugs/Problem_with_toc.pm_plug-in.mdwn
@@ -1,6 +1,3 @@
-Problem with toc.pm plug-in
-===========================
-
 The toc.pm plug-in currently renders empty 'a' tag elements. This seems to confuse at least Firefox, possibly others. The result is that the following text is rendered as an anchor (visible if you style 'a' elements in a different color).
 
 Here is a patch for toc.pm for producing non-empty 'a' elements.