diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-03-12 13:26:55 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-12 13:26:55 -0400 |
| commit | af12284b6a89b288b61298d64df215f6d6225c83 (patch) | |
| tree | e906933c33823a9670a6bc194b47cab8aa32fa4e /docs/components/style.md | |
| parent | 466da7febbbe092c41a1bce0dffa977d87fa01af (diff) | |
| parent | 34d14a092ca1440282911d7205d836c910748a4a (diff) | |
| download | servo-af12284b6a89b288b61298d64df215f6d6225c83.tar.gz servo-af12284b6a89b288b61298d64df215f6d6225c83.zip | |
Auto merge of #20273 - servo:jdm-patch-13, r=nox
Unbreak the docs build.
I added this to avoid the problem with doc builds leaving around large build artifacts while also working around #17243, but it appears to break the doc build entirely. This won't end up executing on servo-linux1 or servo-linux2 because of #17243, but I'm looking into the correct solution for that simultaneously.
<!-- 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/20273)
<!-- Reviewable:end -->
Diffstat (limited to 'docs/components/style.md')
0 files changed, 0 insertions, 0 deletions