diff options
| author | jfbu <jfbu@free.fr> | 2018-04-14 19:48:24 +0200 |
|---|---|---|
| committer | jfbu <jfbu@free.fr> | 2018-04-14 19:48:24 +0200 |
| commit | aa21d78e42ebbc993f4f5df66755a044a95d52c8 (patch) | |
| tree | a347da32bdc62e7577949306277fea8b85253707 /sphinx/builders/htmlhelp.py | |
| parent | 453d6a0b67bbdd123c232b8bc9b37aa7f971a149 (diff) | |
| download | sphinx-git-aa21d78e42ebbc993f4f5df66755a044a95d52c8.tar.gz | |
Fix again #4837, using better equivalent to deprecated \sf
Diffstat (limited to 'sphinx/builders/htmlhelp.py')
0 files changed, 0 insertions, 0 deletions