diff options
author | Timotheus Kampik <timotheus.kampik@gmail.com> | 2019-01-27 18:32:30 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-01-27 18:32:30 +0100 |
commit | 1ea41ed6ca885faf277fcea0d12783f462565fbc (patch) | |
tree | 38f6f668056e1fcbc59f5396aa1c2cbb46d61990 /doc/development/tutorials/examples/todo.py | |
parent | 36d628929ef45c2e6225bfb5470080be77056629 (diff) | |
parent | fa96fe4398cac4f3cb3274232b06d932e553c0ef (diff) | |
download | sphinx-git-1ea41ed6ca885faf277fcea0d12783f462565fbc.tar.gz |
Merge pull request #3944 from fdev31/master
add support for partial matches in js search
Diffstat (limited to 'doc/development/tutorials/examples/todo.py')
0 files changed, 0 insertions, 0 deletions