diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2020-01-27 12:50:50 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-27 12:50:50 +0100 |
| commit | 9188bab4dbe6a644c2019de25c4c207f02e60a31 (patch) | |
| tree | 0c8a11978a4a79160e5e93ffbbdb514b50573b13 /src/test/rustdoc-ui/coverage/json.rs | |
| parent | 7e824343d32b985b7159cd1872a291cfc33265ce (diff) | |
| parent | 2acf5a30bac39d6fd326b0d82b047b9e59b64692 (diff) | |
| download | rust-9188bab4dbe6a644c2019de25c4c207f02e60a31.tar.gz rust-9188bab4dbe6a644c2019de25c4c207f02e60a31.zip | |
Rollup merge of #68531 - wesleywiser:cleanup_self_profiler, r=michaelwoerister
[self-profiler] Two small cleanups r? @michaelwoerister
Diffstat (limited to 'src/test/rustdoc-ui/coverage/json.rs')
0 files changed, 0 insertions, 0 deletions