diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-11-18 14:01:29 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-11-18 14:01:29 +0000 |
| commit | 0c9ee2902a6368dbb1ee0a62ef23bd000e98e295 (patch) | |
| tree | da87cf6a9a6ce3347e47acd9fe0e250b589c4922 /xtask/src/metrics.rs | |
| parent | 99975d08f0f1497abc6dc13681f040848595e50b (diff) | |
| parent | 91a1a836015f61accb73f7b855b852fc22e810fc (diff) | |
Merge #6585
6585: Link rustc error page and clippy lint page via CodeDescription r=kjeremy a=Veykril
Fixes #6371
This makes the error code in here clickable, same for clippy lints
For clippy I just chose the master build of the site as I believe that to be pretty much always the best fitting.
Co-authored-by: Lukas Wirth <[email protected]>
Diffstat (limited to 'xtask/src/metrics.rs')
0 files changed, 0 insertions, 0 deletions