aboutsummaryrefslogtreecommitdiff
path: root/doc/manual/glossary
diff options
context:
space:
mode:
authorEelco Dolstra <edolstra@gmail.com>2020-07-23 14:20:54 +0200
committerEelco Dolstra <edolstra@gmail.com>2020-07-23 18:27:20 +0200
commitee051084723333fc5889c604c829669800e8b43c (patch)
tree5e62b01d0f137b451b504dc2ca1a2378711ec338 /doc/manual/glossary
parent136fd55bb2f7c4f8e93992c6b662d54ce941a73a (diff)
<simplesect> -> <section>
Pandoc silently ignores <simplesect>...
Diffstat (limited to 'doc/manual/glossary')
0 files changed, 0 insertions, 0 deletions