diff options
author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2021-04-20 01:10:15 +0900 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-20 01:10:15 +0900 |
commit | ff02add8ef59126f98ccab5148d71805e743a0d9 (patch) | |
tree | 880d0fa7424136fc5b69f1c125c35006624ddad0 /sphinx/config.py | |
parent | 9105635389e917804897e743fa639cbcbb394453 (diff) | |
parent | 75e8862f73a09a269ef3a7ec7e06764a03ab6078 (diff) | |
download | sphinx-git-ff02add8ef59126f98ccab5148d71805e743a0d9.tar.gz |
Merge pull request #9101 from V0lantis/fix/fix_user_selection
Fix `user-selection` in Safari and Internet Explorer
Diffstat (limited to 'sphinx/config.py')
0 files changed, 0 insertions, 0 deletions