explorer: remove duplicate sidebar search box (#266)#269

rdhyee wants to merge 1 commit into

isamplesorg:mainisamplesorg/isamplesorg.github.io:mainfrom

rdhyee:fix/remove-duplicate-search-266rdhyee/isamplesorg.github.io:fix/remove-duplicate-search-266Copy head branch name to clipboard