diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2022-01-07 23:22:18 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2022-01-07 23:22:18 -0800 |
| commit | 2fb903336b54f25b68d44c385dae9bd0933cb386 (patch) | |
| tree | 7621719d9eb7b257aa53715faed9e08ba0034ab9 /src/Text | |
| parent | 2986a06aaadc607f58fcbe28933f14e11346c2d8 (diff) | |
lua-filters.doc: use headings instead of nested def lists.
See #7807.
Diffstat (limited to 'src/Text')
0 files changed, 0 insertions, 0 deletions