diff options
| author | Timotheus Kampik <timotheus.kampik@gmail.com> | 2019-02-05 22:46:28 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-02-05 22:46:28 +0100 |
| commit | dc0120be358de037daf7d76d8b8bc218a089d1b0 (patch) | |
| tree | 73adba8a8cc7fddbeed3d90fd27ec0d394c19007 /doc/development/tutorials/examples/todo.py | |
| parent | ed86ada66147fc39224bf45cf007fc74ab364fe0 (diff) | |
| parent | 8f7d5d20e1a862905e42eb6974f609e38db12726 (diff) | |
| download | sphinx-git-dc0120be358de037daf7d76d8b8bc218a089d1b0.tar.gz | |
Merge pull request #6018 from TimKam/6016-keep-search-results-position-fixed
#6016 add placeholder for search summary
Diffstat (limited to 'doc/development/tutorials/examples/todo.py')
0 files changed, 0 insertions, 0 deletions