diff options
author | Siri Reiter <siri@jones.dk> | 2018-10-18 11:04:28 +0200 |
---|---|---|
committer | Siri Reiter <siri@jones.dk> | 2018-10-18 11:04:28 +0200 |
commit | 8c1bcda30eb06c8b6ef62d7a3c6f391b3170e51b (patch) | |
tree | f98942232b8e885ebacf3b8a091ea3fb1aec3cbc /.gitignore | |
parent | d13c422628127ed70611f5cc989f5f5cafc7a033 (diff) |
Change headline levels for tour names, to make them appear in toc.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions