Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update submodules #365

Merged
merged 1 commit into from Apr 12, 2013
Merged

Update submodules #365

merged 1 commit into from Apr 12, 2013

Conversation

@brson
Copy link
Contributor

brson commented Apr 12, 2013

This just updates some submodules to include proper per-file licenses.

brson added a commit that referenced this pull request Apr 12, 2013
@brson brson merged commit 9a12ebf into servo:master Apr 12, 2013
ChrisParis pushed a commit to ChrisParis/servo that referenced this pull request Sep 7, 2014
…guments

shadow-dom: Provide proper arguments to DOMImplementation.createDocument().
glennw pushed a commit to glennw/servo that referenced this pull request Jan 16, 2017
…r=glennw

Properly mix border colors to avoid jagged edges

When border colors meet, properly mix them instead of selecting one or
the other. This creates smooth boundaries between border colors.
Currently transformed borders are not handled.

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/webrender/365)
<!-- Reviewable:end -->
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

1 participant
You can’t perform that action at this time.