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

rdhyee merged 2 commits 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