Code

de-duplicate the search index#2425

Code

Open

nick1udwig wants to merge 1 commit intorust-lang:masterrust-lang/mdBook:masterfrom nick1udwig:hf/dont-write-searchindex-jsonnick1udwig/mdBook:hf/dont-write-searchindex-jsonCopy head branch name to clipboard

+11-4

Commits

Commits on Aug 9, 2024

• only use searchindex.js

  nick1udwig

  committed
  ed8d33d

  Copy full SHA for ed8d33d