diff options
| author | Paul Buetow <paul@buetow.org> | 2024-04-30 13:06:57 +0300 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2024-04-30 13:06:57 +0300 |
| commit | e0f9a7722da62dec49353abff27cce9caf409113 (patch) | |
| tree | a5be1febd5a5fa055b3eafdc76fc2da327ca87da /extras | |
| parent | f64c090bac0741963acef6193440d56fc6fbd48f (diff) | |
add id's to the headers in html, for ToC references later
Diffstat (limited to 'extras')
0 files changed, 0 insertions, 0 deletions