about summary refs log tree commit diff
path: root/src/tools/clippy/util
diff options
context:
space:
mode:
authorAlexander Melentyev <alexander.melentyev@icloud.com>2021-06-21 12:11:37 +0300
committerAlexander Melentyev <alexander.melentyev@icloud.com>2021-06-21 12:11:37 +0300
commite84c9aed6d82eddcaf96d1c4fe90adcd2182b9a0 (patch)
treec31e8ce52d3a7eba428ebb016064783178174704 /src/tools/clippy/util
parentfb3ea63d9b4c3e9bb90d4250b870faaffb9c8fd2 (diff)
downloadrust-e84c9aed6d82eddcaf96d1c4fe90adcd2182b9a0.tar.gz
rust-e84c9aed6d82eddcaf96d1c4fe90adcd2182b9a0.zip
Delete spaces
Diffstat (limited to 'src/tools/clippy/util')
-rw-r--r--src/tools/clippy/util/gh-pages/index.html8
1 files changed, 4 insertions, 4 deletions
diff --git a/src/tools/clippy/util/gh-pages/index.html b/src/tools/clippy/util/gh-pages/index.html
index 27ecb532dd0..0174d3ffcbc 100644
--- a/src/tools/clippy/util/gh-pages/index.html
+++ b/src/tools/clippy/util/gh-pages/index.html
@@ -363,7 +363,7 @@
 
             $scope.bySearch = function (lint, index, array) {
                 let searchStr = $scope.search;
-                // It can be `null` I haven't missed this value 
+                // It can be `null` I haven't missed this value
                 if (searchStr == null || searchStr.length < 3) {
                     return true;
                 }
@@ -375,7 +375,7 @@
                 }
 
                 // Search the description
-                // The use of `for`-loops instead of `foreach` enables us to return early 
+                // The use of `for`-loops instead of `foreach` enables us to return early
                 let terms = searchStr.split(" ");
                 for (index = 0; index < terms.length; index++) {
                     if (lint.id.indexOf(terms[index]) !== -1) {
@@ -463,7 +463,7 @@
 
         let children = themeMenu.children;
         for (let index = 0; index < children.length; index++) {
-            let child = children[index]; 
+            let child = children[index];
             child.addEventListener("click", function(e) {
                 setTheme(child.id, true);
             });
@@ -476,7 +476,7 @@
         let enableHighlight = false;
         let enableNight = false;
         let enableAyu = false;
-        
+
         if (theme == "ayu") {
             enableAyu = true;
         } else if (theme == "coal" || theme == "navy") {