diff options
Diffstat (limited to 'docs/_build/html/search.html')
| -rw-r--r-- | docs/_build/html/search.html | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/_build/html/search.html b/docs/_build/html/search.html index 6c29f2b8..5dc5145d 100644 --- a/docs/_build/html/search.html +++ b/docs/_build/html/search.html @@ -30,6 +30,8 @@ <script type="text/javascript"> jQuery(function() { Search.loadIndex("searchindex.js"); }); </script> + + <script type="text/javascript" id="searchindexloader"></script> </head> |