diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2023-06-28 09:04:17 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2023-06-28 09:05:51 -0700 |
| commit | c9088677faec3758dfeda820fd76933544a1e037 (patch) | |
| tree | 231ceea08492b6a4bc1a0d57b501505e3bdceda2 /.github/workflows | |
| parent | 6c4980d819cb3b62a0443617df09a2765589bd34 (diff) | |
DokuWiki writer: fix lists with Div elements.
The DokuWiki writer doesn't render Divs specially, so their presence in
a list (e.g. because of custom-styles) need not prevent a regular
DokuWiki list from being used. (Falling back to raw HTML in this case is
pointless because no new information is given.)
Closes #8920.
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions