diff options
Diffstat (limited to 'doc/html/search/searchdata.js')
| -rw-r--r-- | doc/html/search/searchdata.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/html/search/searchdata.js b/doc/html/search/searchdata.js index b6365e4..78cf9fe 100644 --- a/doc/html/search/searchdata.js +++ b/doc/html/search/searchdata.js @@ -2,7 +2,7 @@ var indexSectionsWithContent = { 0: "acdeghilnoprstuv", 1: "cghnoprsv", - 2: "hios", + 2: "his", 3: "acgnoprs", 4: "acdeghilnopstuv", 5: "n", |