diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2021-05-11 11:47:39 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2021-05-12 11:28:00 +0200 |
| commit | cb91c6f24dfd522d07a4c7db6294dca9fbc2d20d (patch) | |
| tree | 25e2b3c38bc0f17d503f769f251dd5fc031ed069 /src/librustdoc/html/static/search.js | |
| parent | d8b10692a0d9d50376eaea6985da0fd9e5d87eb7 (diff) | |
Fix indent in JS files
Diffstat (limited to 'src/librustdoc/html/static/search.js')
| -rw-r--r-- | src/librustdoc/html/static/search.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/librustdoc/html/static/search.js b/src/librustdoc/html/static/search.js index b4f9d7b3740..a09d3eb1796 100644 --- a/src/librustdoc/html/static/search.js +++ b/src/librustdoc/html/static/search.js @@ -1505,7 +1505,7 @@ window.initSearch = function(rawSearchIndex) { }; if (window.searchIndex !== undefined) { - initSearch(window.searchIndex); + initSearch(window.searchIndex); } })(); |