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 /editors/code | |
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
![image](https://user-images.githubusercontent.com/3757771/99459468-6d110b00-292e-11eb-9cde-d43ec9cebc09.png)
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 'editors/code')
0 files changed, 0 insertions, 0 deletions