diff options
| -rw-r--r-- | util/gh-pages/script.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/gh-pages/script.js b/util/gh-pages/script.js index 111555ca95f..9928c86a98f 100644 --- a/util/gh-pages/script.js +++ b/util/gh-pages/script.js @@ -512,7 +512,7 @@ function scrollToLint(lintId) { // If the page we arrive on has link to a given lint, we scroll to it. function scrollToLintByURL() { - const lintId = window.location.hash.substring(2); + const lintId = window.location.hash.substring(1); if (lintId.length > 0) { scrollToLint(lintId); } |