mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
5dad51736c
rust/util/gh-pages
History
bors 8ae74da63b 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
2022-03-10 03:08:34 +00:00
..
index.html Auto merge of #8070 - CrazyRoka:update-gh-pages-checkbox-styles, r=camsteffen 2022-03-10 03:08:34 +00:00
versions.html Also deploy from the beta branch 2020-03-25 20:20:54 +01:00