diff options
author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2018-10-16 01:55:42 +0900 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-16 01:55:42 +0900 |
commit | 2de4c4fd5d52a8072baaaafd76d08cde76a1ba02 (patch) | |
tree | a851bcef75728ce26aeb22d24eb531941c2e79c4 /sphinx/highlighting.py | |
parent | eb44c73b81ff4e603d9452018d145ff3c204f71f (diff) | |
parent | 3cd05d3e9aed0fdf915b1ac28863dd04f0176c39 (diff) | |
download | sphinx-git-2de4c4fd5d52a8072baaaafd76d08cde76a1ba02.tar.gz |
Merge pull request #5511 from tk0miya/remove_unused_search_params
Remove unused search params: check_keywords, area
Diffstat (limited to 'sphinx/highlighting.py')
0 files changed, 0 insertions, 0 deletions