diff options
| author | Jean-François B <jfbu@free.fr> | 2018-03-11 10:33:43 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-11 10:33:43 +0100 |
| commit | 87e8dd16b277a17b235b54f038b1a47403753876 (patch) | |
| tree | ce92abb3f0bb278e32b112ad741520232b02a7a4 /sphinx/builders/devhelp.py | |
| parent | e4fd16af9f8248215410fd6acfe3ee5b1d490478 (diff) | |
| parent | 90dfce536755c054483ebc093d34f4041ab7a8b5 (diff) | |
| download | sphinx-git-87e8dd16b277a17b235b54f038b1a47403753876.tar.gz | |
Merge pull request #4728 from jfbu/textcomp_warn
Fix #4727: Option clash for package textcomp
Diffstat (limited to 'sphinx/builders/devhelp.py')
0 files changed, 0 insertions, 0 deletions