(doc) Change search placeholder text.#15012

Closed

zzmp wants to merge 1 commit intorust-lang:masterfrom zzmp:doc/placeholder-text

+1-1

Commits on Jun 18, 2014

(doc) Change search placeholder text.
zzmp
committed