diff options
| author | bors <bors@rust-lang.org> | 2022-06-20 10:16:08 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-06-20 10:16:08 +0000 |
| commit | 195f2cba458f0dcdce16b2d22212ec148a6126f5 (patch) | |
| tree | 6720145f26f28e38e8ba92a68b78ce857b60c166 | |
| parent | 9d92af76b42ec448d5d22ac363cafddc67c4bef2 (diff) | |
| parent | 4e7ed42867cc2b01ddddce867245d688bf4d14f2 (diff) | |
| download | rust-195f2cba458f0dcdce16b2d22212ec148a6126f5.tar.gz rust-195f2cba458f0dcdce16b2d22212ec148a6126f5.zip | |
Auto merge of #9023 - unvalley:add-meta-tag-for-lint-list, r=xFrednet
Add description meta tag for lint list closes #8975 changelog:none
| -rw-r--r-- | util/gh-pages/index.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/util/gh-pages/index.html b/util/gh-pages/index.html index 4999cce7511..6183089911b 100644 --- a/util/gh-pages/index.html +++ b/util/gh-pages/index.html @@ -10,6 +10,7 @@ Otherwise, have a great day =^.^= <head> <meta charset="UTF-8"/> <meta name="viewport" content="width=device-width, initial-scale=1"/> + <meta name="description" content="A collection of lints to catch common mistakes and improve your Rust code."> <title>Clippy Lints</title> |