Commit 8bdc40716ace308693a6c0e81bc8e4fcb12426dc
2013-06-25T10:20:53
[docmaker] Remove unused functions. * src/tools/docmaker/content.py (DocMarkup.get_start, DocBlock.get_markup_name): Removed. * src/tools/docmaker/tohtml.py (html_quote0, dump_html_code, HtmlFormatter.make_html_words): Removed.