diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2022-04-26 13:01:02 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2022-04-26 13:03:02 -0700 |
| commit | 50c9848c34d220a2c834750c3d28f7c94e8b94a0 (patch) | |
| tree | 826857d27d1221135ae880102f09edefdd16ac4c /man/manfilter.lua | |
| parent | 8689d9c0d6a268497890965726089a5979814587 (diff) | |
HTML writer: Add 'footnotes' identifier to footnotes section.
Closes #8043.
Diffstat (limited to 'man/manfilter.lua')
0 files changed, 0 insertions, 0 deletions