diff options
| author | mathieui <mathieui@mathieui.net> | 2019-10-27 14:47:39 +0100 |
|---|---|---|
| committer | mathieui <mathieui@mathieui.net> | 2019-10-27 14:48:00 +0100 |
| commit | 2f4651d036658d3ecdff65581c0c7278eca4d5af (patch) | |
| tree | 10aa29efad60fe41fccf94c9179a9fa4ab11418c /doc/source/theme/sphinx_rtd_theme/searchbox.html | |
| parent | c0b9211941185dacf112db72e496d359b499c600 (diff) | |
| download | poezio-2f4651d036658d3ecdff65581c0c7278eca4d5af.tar.gz poezio-2f4651d036658d3ecdff65581c0c7278eca4d5af.tar.bz2 poezio-2f4651d036658d3ecdff65581c0c7278eca4d5af.tar.xz poezio-2f4651d036658d3ecdff65581c0c7278eca4d5af.zip | |
Make global objects not Optional
This reflects reality, despite the default values of the code.
We still need a better solution (singleton?).
Diffstat (limited to 'doc/source/theme/sphinx_rtd_theme/searchbox.html')
0 files changed, 0 insertions, 0 deletions