diff options
| author | Alex Richardson | 2020-09-28 12:01:04 +0100 |
|---|---|---|
| committer | Alex Richardson | 2020-09-28 12:01:04 +0100 |
| commit | 8bd1d46961b41cc643810fc028c4127279463c36 (patch) | |
| tree | 9c4b71ae23ba22c9d3f681644aafe85028377714 /.github | |
| parent | 882850db49cffef75e11eef8cf00364611e54e19 (diff) | |
Handle sectioning commands in saildoc LaTeX output
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions