diff options
| author | bors <bors@rust-lang.org> | 2019-02-28 19:56:25 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2019-02-28 19:56:25 +0000 |
| commit | cfdf47e8b0d3cc229d4354a5fdadd0cd36ed20cc (patch) | |
| tree | 8a27b68f14cc31bc3cf80e0d9495230a46b346aa /tests/mir-opt/lower_array_len.array_len_raw.NormalizeArrayLen.diff | |
| parent | 275a3864b8d1c612662c5a416b2afa77bbf81499 (diff) | |
| parent | 3f7d0c8d75b0ace9b199754341eed38a6b12b36c (diff) | |
| download | rust-cfdf47e8b0d3cc229d4354a5fdadd0cd36ed20cc.tar.gz rust-cfdf47e8b0d3cc229d4354a5fdadd0cd36ed20cc.zip | |
Auto merge of #3831 - martin-t:master, r=flip1995
Use the same <title> as <h1> on gh-pages I think this makes the page easier to find using firefox's URL bar - it (afaik) searches based on the page's URL and title so if somebody doesn't have it bookmarked but remembers that the page contained "ALL lints" or something similar it's easy to go to it directly without resorting to a search engine.
Diffstat (limited to 'tests/mir-opt/lower_array_len.array_len_raw.NormalizeArrayLen.diff')
0 files changed, 0 insertions, 0 deletions