Mirrors/rust-clippy
2
0
Fork 0
mirror of https://github.com/rust-lang/rust-clippy synced 2024-11-26 22:50:56 +00:00
Code Issues Projects Releases Packages Wiki Activity

Updated version label and style on Clippy's lint list

Browse source
This commit is contained in:
xFrednet 2021-11-02 17:49:12 +01:00
parent 9d9d06d557
commit d68408f4ad
No known key found for this signature in database
GPG key ID: FCDCBF29AF64D601
1 changed files with 7 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
util/gh-pages/index.html
View file

@ -118,6 +118,12 @@ Otherwise, have a great day =^.^=
background-color: #777777;
margin: auto 5px;
}
.label-version {
background-color: #777777;
margin: auto 5px;
font-family: monospace;
}
</style>
<style>
/* Expanding the mdBoom theme*/
@ -341,7 +347,7 @@ Otherwise, have a great day =^.^=
</div>
<!-- Clippy version -->
<div class="lint-additional-info-item">
Rust version: <span class="label label-default label-applicability">{{lint.version}}</span>
Added in: <span class="label label-default label-version">{{lint.version}}</span>
</div>
<!-- Open related issues -->
<div class="lint-additional-info-item">