diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2021-12-02 22:16:18 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-12-02 22:16:18 +0100 |
| commit | 6e5f4c2f1b67ab46365d33c84f2bd64b25993603 (patch) | |
| tree | aaa589ba3f620c7a5f3c4a3c9775fa6df994634b /compiler/rustc_mir_transform/src/coverage/query.rs | |
| parent | 2ec0f841b44015888b69154955bd5aa7bcd9c9be (diff) | |
| parent | d8832425fc407f36191dcc65c4bc41319aca5c14 (diff) | |
| download | rust-6e5f4c2f1b67ab46365d33c84f2bd64b25993603.tar.gz rust-6e5f4c2f1b67ab46365d33c84f2bd64b25993603.zip | |
Rollup merge of #91464 - ChrisDenton:doc-path-case-sensitivity, r=joshtriplett
Document file path case sensitivity This describes the current behaviour of the standard library's pure path methods. Fixes #66260.
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/query.rs')
0 files changed, 0 insertions, 0 deletions
