diff options
| author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2018-02-03 17:26:18 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-02-03 17:26:18 +0900 |
| commit | eae54ef564b9c8e9a8ddcf26cadc044ac886a5c8 (patch) | |
| tree | d57b50ef379a7a6d4fa68a4205fa57db23042018 /sphinx/util/websupport.py | |
| parent | 23796c35bf90756a17a09e01c3b038a6b973cf05 (diff) | |
| parent | d97468bd5d9105bfe446b0e2fc596543ffecd965 (diff) | |
| download | sphinx-git-eae54ef564b9c8e9a8ddcf26cadc044ac886a5c8.tar.gz | |
Merge pull request #4537 from tk0miya/2852_imgconverter_gif_to_png
Fix #2852: imgconverter: Support to convert GIF to PNG
Diffstat (limited to 'sphinx/util/websupport.py')
0 files changed, 0 insertions, 0 deletions