![]() * fix: search shortcut based on user platform * chore: make it work with iPad and iPhone as well |
||
---|---|---|
.. | ||
code-copy.js | ||
filetree.js | ||
flexsearch.js | ||
lang.js | ||
menu.js | ||
sidebar.js | ||
tabs.js | ||
theme.js |
![]() * fix: search shortcut based on user platform * chore: make it work with iPad and iPhone as well |
||
---|---|---|
.. | ||
code-copy.js | ||
filetree.js | ||
flexsearch.js | ||
lang.js | ||
menu.js | ||
sidebar.js | ||
tabs.js | ||
theme.js |