diff options
Diffstat (limited to 'doc/html/search/searchdata.js')
| -rw-r--r-- | doc/html/search/searchdata.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/html/search/searchdata.js b/doc/html/search/searchdata.js index 0211c00..962eb6d 100644 --- a/doc/html/search/searchdata.js +++ b/doc/html/search/searchdata.js @@ -1,10 +1,10 @@ var indexSectionsWithContent = { - 0: "acefilmnorst", + 0: "acdefiklmnorst", 1: "f", 2: "flmrs", 3: "cflms", - 4: "aeinot", + 4: "acdeiknorst", 5: "f", 6: "t", 7: "flm", |