Update docs for main

This commit is contained in:
github-actions 2022-08-03 07:17:02 +00:00
commit fd8cbbb3c8
6 changed files with 71 additions and 105 deletions

View file

@ -10,5 +10,5 @@ var DOCUMENTATION_OPTIONS = {
SOURCELINK_SUFFIX: '.txt',
NAVIGATION_WITH_KEYS: false,
SHOW_SEARCH_SUMMARY: true,
ENABLE_SEARCH_SHORTCUTS: false,
ENABLE_SEARCH_SHORTCUTS: true,
};