diff options
| author | jfbu <jfbu@free.fr> | 2016-07-03 10:49:05 +0200 |
|---|---|---|
| committer | jfbu <jfbu@free.fr> | 2016-07-03 10:49:05 +0200 |
| commit | 7db8141238c5d9ce6c93d6f85c8820ed218fd158 (patch) | |
| tree | 71b450801db1db39b970ee235b89888e3cc6e7f7 /sphinx/util/jsdump.py | |
| parent | 532a804a6668969c9f2a9c7416a0a4a418a6398f (diff) | |
| download | sphinx-git-7db8141238c5d9ce6c93d6f85c8820ed218fd158.tar.gz | |
Amend merged PR#2736 to maintain strict stability of pdf title page
This maintains for the time being the diverging behaviour between
engines regarding the top of title page, as discussed at
https://github.com/sphinx-doc/sphinx/pull/2736#issuecomment-230140016
Diffstat (limited to 'sphinx/util/jsdump.py')
0 files changed, 0 insertions, 0 deletions