diff options
| author | Jakub Beránek <berykubik@gmail.com> | 2025-07-21 13:29:46 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-07-21 13:29:46 +0200 |
| commit | ff2bfe09b19c2dab070bbdf1d7383524e9c0e2d2 (patch) | |
| tree | 14e209922db27141b7e3e88438c5f38475e1a7b7 /compiler/rustc_mir_transform/src/coverage/query.rs | |
| parent | 62e3a05291ef782cf212675d9e13c0b937c788c8 (diff) | |
| parent | c8ef2117d7d3168ad576aac4053599c219c811f8 (diff) | |
| download | rust-ff2bfe09b19c2dab070bbdf1d7383524e9c0e2d2.tar.gz rust-ff2bfe09b19c2dab070bbdf1d7383524e9c0e2d2.zip | |
Merge pull request #2514 from rust-lang/tshepang/for-ssh-protocol
add rdg push git config entry for git protocol pushers (again)
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/query.rs')
0 files changed, 0 insertions, 0 deletions