diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-06-28 12:18:36 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-06-28 12:18:36 -0400 |
commit | 2e9637477ca1a3da2e417f7f349ab13ff74a73a8 (patch) | |
tree | ebb029e58aebf0e8a8e63c2dd3b171fc0ebbd798 /components | |
parent | a8f4c64021a9cbbb7cc7d2b9e75344fb8c89e1ac (diff) | |
parent | e68b4e5fad1a4632086223a72122b460ca9f795b (diff) | |
download | servo-2e9637477ca1a3da2e417f7f349ab13ff74a73a8.tar.gz servo-2e9637477ca1a3da2e417f7f349ab13ff74a73a8.zip |
Auto merge of #23628 - emilio:path-shuffling-cleanup, r=Manishearth
build: Cleanup some path-munging code.
I was looking at this today, and this seems better than the pre-existing code,
generally pre-pending to these paths isn't great...
<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/23628)
<!-- Reviewable:end -->
Diffstat (limited to 'components')
0 files changed, 0 insertions, 0 deletions