# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1370907417 -7200
# Node ID bd01d2ee1e8faa745c6aee31378c9c1cdf919f58
# Parent  ef640bccabacebbeb54662da43db2d8b57c86f76
Unsupported options are rarely useful and are thus removed.

diff -r ef640bccabac -r bd01d2ee1e8f wikiparser.py
--- a/wikiparser.py	Tue Jun 11 01:11:46 2013 +0200
+++ b/wikiparser.py	Tue Jun 11 01:36:57 2013 +0200
@@ -683,8 +683,6 @@
         mointype = sectiontypes.get(sectiontype)
 
         parts.append("%s%s\n" % (opening, mointype or ""))
-        if options:
-            parts.append("## %s\n" % options)
         parts.append(section_content)
         parts.append("\n%s\n" % closing)