| 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',
|
|
|