diff options
| author | Jakob Lykke Andersen <jakobandersen@users.noreply.github.com> | 2022-01-15 21:52:25 +0100 |
|---|---|---|
| committer | Jakob Lykke Andersen <Jakob@caput.dk> | 2022-01-16 09:48:39 +0100 |
| commit | 5d595ec0c4294f45f3138c4c581b84c39cae5e29 (patch) | |
| tree | 62a6d49f90460cbc9f6254102af58d7388a94df3 /sphinx/setup_command.py | |
| parent | 6ee0ecbe40ab8a3251538409cf35ffcc04765bfa (diff) | |
| download | sphinx-git-5d595ec0c4294f45f3138c4c581b84c39cae5e29.tar.gz | |
intersphinx role, simplify role_name check
Co-authored-by: Takeshi KOMIYA <i.tkomiya@gmail.com>
Diffstat (limited to 'sphinx/setup_command.py')
0 files changed, 0 insertions, 0 deletions