diff options
| author | binarycat <binarycat@envs.net> | 2025-04-02 13:08:05 -0500 |
|---|---|---|
| committer | binarycat <binarycat@envs.net> | 2025-04-02 13:08:05 -0500 |
| commit | f05683639d64dc26e51f63d97a0ba3cd812dc374 (patch) | |
| tree | 45677c00d2d06a19ef92b2f18ec3e8d424bb01ef | |
| parent | 6ca7bd041b2da04274d019f4dd001f5cfc51e78a (diff) | |
| download | rust-f05683639d64dc26e51f63d97a0ba3cd812dc374.tar.gz rust-f05683639d64dc26e51f63d97a0ba3cd812dc374.zip | |
settings.js: remove dead code for adding <hr> to settings page
| -rw-r--r-- | src/librustdoc/html/static/js/settings.js | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/librustdoc/html/static/js/settings.js b/src/librustdoc/html/static/js/settings.js index 694a26cdac2..5e706e28492 100644 --- a/src/librustdoc/html/static/js/settings.js +++ b/src/librustdoc/html/static/js/settings.js @@ -153,11 +153,6 @@ let output = ""; for (const setting of settings) { - if (setting === "hr") { - output += "<hr>"; - continue; - } - const js_data_name = setting["js_name"]; const setting_name = setting["name"]; |