diff options
| author | bors <bors@rust-lang.org> | 2022-05-16 17:49:00 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-05-16 17:49:00 +0000 |
| commit | 6e86ab007cdcebd5fce87a598f7be9169080934e (patch) | |
| tree | 9266c078381fa10f7dc7be143ffbbb62edb55c34 /compiler/rustc_codegen_llvm/src | |
| parent | a1632fffc13b35be1b58b24edabed9cada06b160 (diff) | |
| parent | f112e4d445006426830752e23c716efb835acea5 (diff) | |
| download | rust-6e86ab007cdcebd5fce87a598f7be9169080934e.tar.gz rust-6e86ab007cdcebd5fce87a598f7be9169080934e.zip | |
Auto merge of #8752 - Serial-ATA:improve-filtering, r=xFrednet
Add version filtering option to the lint list I'm no web dev, so I don't know if this is the best execution :smile:. Here's how it looks:  And on mobile:  I've split this into two commits, in the second one I moved the JS into its own file to make it easier to work on. Is that alright? And if so, could the same thing be done to the css? changelog: none cc: #7958, `@repi` r? `@xFrednet`
Diffstat (limited to 'compiler/rustc_codegen_llvm/src')
0 files changed, 0 insertions, 0 deletions