diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2023-03-21 19:06:04 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2023-03-21 19:06:04 -0700 |
| commit | 4ea0508e6892347db33e9addb497920b6360e69c (patch) | |
| tree | d1dd9da9152735a740464f06ff422605382e7189 /.github/workflows | |
| parent | 0883efd14595657a8849f6c0bc4ff623c6a45f53 (diff) | |
DocBook reader: handle `<part>`.
Closes #8712.
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions