]> git.lizzy.rs Git - rust.git/commit
rustdoc: remove dead settings JS for obsolete select-wrapper
authorMichael Howell <michael@notriddle.com>
Mon, 23 Jan 2023 17:46:40 +0000 (10:46 -0700)
committerMichael Howell <michael@notriddle.com>
Mon, 23 Jan 2023 22:08:33 +0000 (15:08 -0700)
commit1c41b4d5aced0f7d9f692efde53e896a234c7f48
treefdf866330e1126d150eee916d1f5f42a98268eda
parent5dd87c58aa8f9628eb8da9ad71f9c6488d409853
rustdoc: remove dead settings JS for obsolete select-wrapper
src/librustdoc/html/static/js/settings.js