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 9dbaa1a..78cf9fe 100644 --- a/doc/html/search/searchdata.js +++ b/doc/html/search/searchdata.js @@ -8,7 +8,7 @@ var indexSectionsWithContent = 5: "n", 6: "n", 7: "n", - 8: "co" + 8: "cd" }; var indexSectionNames = |