diff options
| author | bors <bors@rust-lang.org> | 2024-10-11 14:18:54 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-10-11 14:18:54 +0000 |
| commit | 6f1def79dd372e380357e1dfd2b8a54254ffe2d0 (patch) | |
| tree | 8056cae564346d262ff72f3bc58f209b7aadf684 /compiler/rustc_codegen_llvm/src | |
| parent | 8125cd5c2af8f609577c7d3b740a859fdde40c6c (diff) | |
| parent | 603934336dea3c8385f0c7a03ebf2ecebfe913a2 (diff) | |
| download | rust-6f1def79dd372e380357e1dfd2b8a54254ffe2d0.tar.gz rust-6f1def79dd372e380357e1dfd2b8a54254ffe2d0.zip | |
Auto merge of #13269 - GuillaumeGomez:rewrite-lints-page, r=Alexendoo
Rewrite lints page This PR has multiple goals: * Make lints page to work without needing a web server by removing the json file. * Prepare the field to also make the page work with JS (not done in this PR but should be straightforward). * Remove angular dependency. r? `@Alexendoo` changelog: make lint page work without web server
Diffstat (limited to 'compiler/rustc_codegen_llvm/src')
0 files changed, 0 insertions, 0 deletions