diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2023-07-15 19:42:53 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-07-15 19:42:53 +0200 |
| commit | 331b5badddd37f499ff29add68d8c5bf61f3d7ae (patch) | |
| tree | c632236946fef390b3ce24f9ef069553f1147a96 /compiler/rustc_llvm/llvm-wrapper/CoverageMappingWrapper.cpp | |
| parent | d0ef799156d052b8404b9938b1ad221759f27d07 (diff) | |
| parent | d7d0a4533c80a0d69f50b4f736a55f0bb4d55e81 (diff) | |
| download | rust-331b5badddd37f499ff29add68d8c5bf61f3d7ae.tar.gz rust-331b5badddd37f499ff29add68d8c5bf61f3d7ae.zip | |
Rollup merge of #113709 - notriddle:notriddle/src, r=GuillaumeGomez
rustdoc: use src consistently over source in CSS/JS The two terms have been used, inconsistently, in closely related spots like the `src/` directory vs `source-files.js`, and with things like `src-sidebar-toggle` vs the `source-sidebar`. This PR changes most use of `source` to `src` instead (except the localStorage configuration variables, which would be very complicated to migrate). It also renames `.srclink` to `.src`. This is mostly aiming to cut out one of those many little peanut-butter bits of bloat, and is consistent with how other link classes are done (like how you have `a.mod` stylesheet rules, but there's also a `mod` class put on the body tag).
Diffstat (limited to 'compiler/rustc_llvm/llvm-wrapper/CoverageMappingWrapper.cpp')
0 files changed, 0 insertions, 0 deletions
