diff options
| author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2022-02-13 19:34:39 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-13 19:34:39 +0900 |
| commit | 6f0a8f3516063ebd3cbef503832f65e0f8adcc72 (patch) | |
| tree | 33bded44f56fecc775a28ed7895063f02ae8d156 /sphinx/ext/coverage.py | |
| parent | 9ea2b768b0129d3b0e26e62cc77d432cb94d0993 (diff) | |
| parent | 9d29adb76c0abb906037979b02894e13fd677ece (diff) | |
| download | sphinx-git-6f0a8f3516063ebd3cbef503832f65e0f8adcc72.tar.gz | |
Merge pull request #10189 from tk0miya/https_pep_role
The latest docutils converts :pep: role to the "https" URL (again)
Diffstat (limited to 'sphinx/ext/coverage.py')
0 files changed, 0 insertions, 0 deletions