diff options
| author | Laurenz <laurmaedje@gmail.com> | 2022-12-02 15:48:42 +0100 |
|---|---|---|
| committer | Laurenz <laurmaedje@gmail.com> | 2022-12-02 15:53:01 +0100 |
| commit | f57ce8643178c533a43c42baff3553f8613fb5ac (patch) | |
| tree | 4aca4f5636f1330963264fa3f1e1d5dca60df0ad /src/syntax | |
| parent | 56923ee472f1eaa67d3543e19372823139205885 (diff) | |
Heading numbering and outline
Diffstat (limited to 'src/syntax')
0 files changed, 0 insertions, 0 deletions