diff options
| author | Michael Färber <01mf02@gmail.com> | 2024-12-04 17:55:37 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-12-04 16:55:37 +0000 |
| commit | 60f1d8f9b5f7c11eade2573eea39cfd656509eed (patch) | |
| tree | 3fd0810c2bca2512e2097a344fa538a37c3d49ad /docs | |
| parent | bf1c7db6fcee967ea802a19430c1e27444e16da1 (diff) | |
Prepend section numbers to headings in HTML output. (#5522)
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions