Mirrors/rust-clippy
2
0
Fork 0
mirror of https://github.com/rust-lang/rust-clippy synced 2025-02-16 22:18:40 +00:00
Code Issues Projects Releases Packages Wiki Activity

Fix invalid lint ID filtering

Browse source
This commit is contained in:
Guillaume Gomez 2024-10-22 22:54:29 +02:00
parent 97d13a8c0a
commit b33977b852
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
util/gh-pages/script.js
View file

@ -512,7 +512,7 @@ function scrollToLint(lintId) {
// If the page we arrive on has link to a given lint, we scroll to it. // If the page we arrive on has link to a given lint, we scroll to it.
function scrollToLintByURL() { function scrollToLintByURL() {
const lintId = window.location.hash.substring(2); const lintId = window.location.hash.substring(1);
if (lintId.length > 0) { if (lintId.length > 0) {
scrollToLint(lintId); scrollToLint(lintId);
} }