revert: undo PR #7 (fix-html-syntax-search)#10

srpatcha merged 1 commit into

masterembeddedos-org/embeddedos-org.github.io:masterfrom

revert/pr7-search-overlay-fixembeddedos-org/embeddedos-org.github.io:revert/pr7-search-overlay-fixCopy head branch name to clipboard