Index: tools/md_browser/md_browser.py |
diff --git a/tools/md_browser/md_browser.py b/tools/md_browser/md_browser.py |
index 22864c2fe58a4b3e00ea24f0149f012cbd802d96..6473eca9ad08f283dddc0e782d743a1dbe8a268c 100644 |
--- a/tools/md_browser/md_browser.py |
+++ b/tools/md_browser/md_browser.py |
@@ -101,6 +101,7 @@ class Handler(SimpleHTTPServer.SimpleHTTPRequestHandler): |
def _DoMD(self, path): |
extensions = [ |
+ 'markdown.extensions.def_list', |
'markdown.extensions.fenced_code', |
'markdown.extensions.tables', |
'markdown.extensions.toc', |