diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-03-05 17:04:53 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-03-05 17:04:53 +0100 |
commit | e71c017135a3ea08ad7b989845f7065ed277122a (patch) | |
tree | 43625e19004ae17c81a9eaf238cf463bd78151ba /features/misc_files/sample.tex | |
parent | 1677fff920c5a9e6485cc98694c4fa7617456fdb (diff) | |
download | jenkins.debian.net-e71c017135a3ea08ad7b989845f7065ed277122a.tar.xz |
reproducible: make titles work properly also for global pages
Diffstat (limited to 'features/misc_files/sample.tex')
0 files changed, 0 insertions, 0 deletions