Skip to content

rustdoc: Smaller Search Index#13431

Merged
bors merged 5 commits intorust-lang:masterfrom
lifthrasiir:rustdoc-smaller-index
Apr 14, 2014

Commits

Commits on Apr 14, 2014