Mirrors/rust-clippy
2
0
Fork 0
mirror of https://github.com/rust-lang/rust-clippy synced 2024-11-23 05:03:21 +00:00
Code Issues Projects Releases Packages Wiki Activity
rust-clippy/util/gh-pages
History
Brian Hetro 5be2b27ed6 Use URL parameters for filter states 
This retains the settings during browser navigation and allows sharing links with additional configuration.
2023-05-26 17:18:09 -04:00
..
index.html Use URL parameters for filter states 2023-05-26 17:18:09 -04:00
script.js Use URL parameters for filter states 2023-05-26 17:18:09 -04:00
versions.html Also deploy from the beta branch 2020-03-25 20:20:54 +01:00