diff options
| author | jfbu <jfbu@free.fr> | 2018-12-16 16:34:36 +0100 |
|---|---|---|
| committer | jfbu <jfbu@free.fr> | 2018-12-16 16:54:28 +0100 |
| commit | 88a019dc99eb1717bfd30b52cdd007808b376fca (patch) | |
| tree | 99910ea26fc843509b52d3ce2fe39cf03f3f68e3 /sphinx/builders/htmlhelp.py | |
| parent | c899b27b4a659f95a20d80bf467f1e6d21ffb883 (diff) | |
| download | sphinx-git-88a019dc99eb1717bfd30b52cdd007808b376fca.tar.gz | |
LaTeX: allow sphinxVerbatim usage without explicit "hllines" extra setup
Fixes: #5810
Diffstat (limited to 'sphinx/builders/htmlhelp.py')
0 files changed, 0 insertions, 0 deletions