summaryrefslogtreecommitdiff
path: root/sphinx/ext/coverage.py
diff options
context:
space:
mode:
authorJean-François B <jfbu@free.fr>2021-03-12 22:15:35 +0100
committerGitHub <noreply@github.com>2021-03-12 22:15:35 +0100
commit796d36fd627c5a581f4de84b6f45258e06331130 (patch)
tree8966695c673dc3330b5a5be6defb19ffdea3a72c /sphinx/ext/coverage.py
parent3bbdc65451a8a4adf98d9e547df759cf7892866b (diff)
parentebce50dfed8b69c076e95b74228384c956be6f0e (diff)
downloadsphinx-git-796d36fd627c5a581f4de84b6f45258e06331130.tar.gz
Merge pull request #8907 from jfbu/pdf_bookmarksdepth
LaTeX: let bookmarks use high default depth
Diffstat (limited to 'sphinx/ext/coverage.py')
0 files changed, 0 insertions, 0 deletions