diff options
| author | Michael Williamson <mike@zwobble.org> | 2024-03-20 18:55:13 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2024-03-20 18:55:13 +0000 |
| commit | 59a6ddc8938915f17fb4df4d6ff27451af79c6ad (patch) | |
| tree | d09cca42364aa9d04f3efbae19948c83aec2a118 /lib/html | |
| parent | 00c2a1f90221602dbbf1706c5ac9920808c1130d (diff) | |
Handle numbering level definitions without an explicit format
Diffstat (limited to 'lib/html')
0 files changed, 0 insertions, 0 deletions