diff options
| author | Michael Williamson <mike@zwobble.org> | 2024-03-20 19:20:02 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2024-03-20 19:20:02 +0000 |
| commit | b826c4a4df92c5280e4f8a4d7e1bebbbb03affb3 (patch) | |
| tree | 02e6d71ea44af7be0251f2b87e1924587cdd3872 /.github | |
| parent | f1227a9f026f34c48515332770944049656a272f (diff) | |
Prefer numbering properties to numbering from paragraph style
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions