From 1bf546b70639cf61407ae9593d8873442b4e3336 Mon Sep 17 00:00:00 2001 From: Ben Kurtovic Date: Tue, 10 Jul 2012 23:36:36 -0400 Subject: [PATCH] Apparently punctuation marks can be used as headers too. --- earwigbot/commands/dictionary.py | 1 + 1 file changed, 1 insertion(+) diff --git a/earwigbot/commands/dictionary.py b/earwigbot/commands/dictionary.py index 5f77ad1..c20f299 100644 --- a/earwigbot/commands/dictionary.py +++ b/earwigbot/commands/dictionary.py @@ -104,6 +104,7 @@ class Dictionary(Command): "proverb": "Proverb", "prop. n.": "Proper noun", "abbr.": "Abbreviation", + "punct.": "Punctuation mark", } blocks = "=" * (level + 1) defs = []