diff options
| author | kennytm <kennytm@gmail.com> | 2017-10-15 14:21:58 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-15 14:21:58 +0800 |
| commit | 1effcb0def5535182e8b44756c22eb416bad2671 (patch) | |
| tree | a19f36e157155474118d3fca6cba4e41e24efddb /src/test/run-pass/thinlto | |
| parent | f55cb4856b0c5e3517e348102d18d9a23f20c0be (diff) | |
| parent | c729e4dca7581fcd060978bcb0d7f98ea4eb6b82 (diff) | |
| download | rust-1effcb0def5535182e8b44756c22eb416bad2671.tar.gz rust-1effcb0def5535182e8b44756c22eb416bad2671.zip | |
Rollup merge of #45280 - GuillaumeGomez:fix-mobile-search, r=kennytm
Remove terribly useless and problematic margin when searching on mobile Before: <img width="1440" alt="screen shot 2017-10-14 at 15 56 09" src="https://user-images.githubusercontent.com/3050060/31576308-54af4e48-b0f8-11e7-9e2e-375febbb87b2.png"> After: <img width="1440" alt="screen shot 2017-10-14 at 15 55 52" src="https://user-images.githubusercontent.com/3050060/31576304-5216ae74-b0f8-11e7-88a0-f53f293f5499.png"> r? @rust-lang/docs
Diffstat (limited to 'src/test/run-pass/thinlto')
0 files changed, 0 insertions, 0 deletions