]> git.lizzy.rs Git - rust.git/commit
Greatly improve rustdoc search
authorGuillaume Gomez <guillaume.gomez@huawei.com>
Mon, 20 Dec 2021 14:42:08 +0000 (15:42 +0100)
committerGuillaume Gomez <guillaume.gomez@huawei.com>
Mon, 18 Apr 2022 18:59:08 +0000 (20:59 +0200)
commitbe41750a10191363c88f1ef216d0c3067ae94bdc
tree4f12bc7a1f97098cddd8b087c19d85c859e4de28
parent6fd7e9010db6be7605241c39eab7c5078ee2d5bd
Greatly improve rustdoc search
src/librustdoc/html/static/js/externs.js
src/librustdoc/html/static/js/search.js