Skip to content

Do not include headers in search index - #3179

Merged
ehuss merged 1 commit into
rust-lang:masterfrom
notriddle:notriddle/search-index-smaller
Oct 4, 2021
Merged

Do not include headers in search index#3179
ehuss merged 1 commit into
rust-lang:masterfrom
notriddle:notriddle/search-index-smaller

Do not include headers in search index

715bc47
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs