Remove "Tool:" line

develop
lethosor 2022-08-08 21:22:55 -04:00
parent e6b5d5b0c1
commit 2d60c543fd
No known key found for this signature in database
GPG Key ID: 76A269552F4F58C1
1 changed files with 0 additions and 1 deletions

@ -135,7 +135,6 @@ class DFHackToolDirective(DFHackToolDirectiveBase):
tag_nodes.pop()
return [
self.make_labeled_paragraph('Tool', self.get_name_or_docname()),
nodes.paragraph('', '', *tag_nodes),
]