diff options
| author | Siri Reiter <siri@jones.dk> | 2019-08-21 18:07:47 +0200 |
|---|---|---|
| committer | Siri Reiter <siri@jones.dk> | 2019-08-21 18:07:47 +0200 |
| commit | ab7322abe4c790515dc0e0ae39abe4a2bbd7a2f3 (patch) | |
| tree | 3e829253a4d07a4c17bd88af1f15765062809c5c /.gitignore | |
| parent | 1dfa1f63f0ccec0fa2f8b34aeef8e33cfe7e2405 (diff) | |
Change ToC level and startlevel.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions