diff options
| author | Dan Allen <dan.j.allen@gmail.com> | 2023-05-06 23:59:23 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-06 23:59:23 -0600 |
| commit | 94c53a11d6ded695dafaef1ce398842a32bbff09 (patch) | |
| tree | 6b0fbb4486ccd9f005d7a79b1a8bd7d2ea37d540 /docs/modules | |
| parent | c9c8373b44e2d268566f988dc7a956cd1943680f (diff) | |
resolves #4448 apply reftext substitutions to value of mantitle attribute in DocBook output (PR #4449)
Diffstat (limited to 'docs/modules')
0 files changed, 0 insertions, 0 deletions