diff options
| author | Guillaume Gomez <guillaume.gomez@huawei.com> | 2022-05-11 23:11:18 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume.gomez@huawei.com> | 2022-05-14 17:21:52 +0200 |
| commit | e8762757c3628eed11bd94db07dc0bc94542899a (patch) | |
| tree | 453505ec61a7fa1b4fd69624b8b3fcb9990c6dc9 /compiler/rustc_mir_transform/src/coverage/counters.rs | |
| parent | 5e01ba36c9f1037c4cf3e7421413fc6c41f85d05 (diff) | |
| download | rust-e8762757c3628eed11bd94db07dc0bc94542899a.tar.gz rust-e8762757c3628eed11bd94db07dc0bc94542899a.zip | |
Remove theme picker button
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/counters.rs')
0 files changed, 0 insertions, 0 deletions