]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 0c483f6 296af08)
Auto merge of #8070 - CrazyRoka:update-gh-pages-checkbox-styles, r=camsteffen
authorbors <bors@rust-lang.org>
Thu, 10 Mar 2022 03:08:34 +0000 (03:08 +0000)
committerbors <bors@rust-lang.org>
Thu, 10 Mar 2022 03:08:34 +0000 (03:08 +0000)
commit8ae74da63b11ca298a30cc1af686019c7417938a
tree2fd31e2ec27c853627126b8d5e05fa8bac097ca8tree | snapshot
parent0c483f69db979f9dc88f96493ea4b21d946d845dcommit | diff
parent296af08b3c4ee2cd74b53e71279c8d2be254031ecommit | diff
Auto merge of #8070 - CrazyRoka:update-gh-pages-checkbox-styles, r=camsteffen

Improve styles of filtering options for Clippy's lint list

Partially solves #7958

Updated styles for filtering options. It now uses dropdown menus.

![image](https://user-images.githubusercontent.com/19844144/144608479-cdd9de0b-f101-4d49-a135-0969efb01a11.png)

changelog: none
util/gh-pages/index.html diff1 | diff2 | blob | history
Empowering everyone to build reliable and efficient software.