diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2016-03-29 13:34:08 +0530 |
|---|---|---|
| committer | bors-servo <lbergstrom+bors@mozilla.com> | 2016-03-29 13:34:08 +0530 |
| commit | df73a18a61e57f62e2e17541d45dcd3818b35b7c (patch) | |
| tree | fbb298d93dc84cef14074dcd7ed061efeab50b8f /components/script/devtools.rs | |
| parent | aac2da75f40f4c55a4b450b6d9d134429fcf741e (diff) | |
| parent | 6de7228945f9e9882ae5a8d45fd3ed40906057db (diff) | |
| download | servo-df73a18a61e57f62e2e17541d45dcd3818b35b7c.tar.gz servo-df73a18a61e57f62e2e17541d45dcd3818b35b7c.zip | |
Auto merge of #10208 - jrasanen:jr/issue10196, r=SimonSapin
Generate html and json of supported css properties.
Fixes #10196. Outputs html and json of supported css properties to `target/doc/` directory when deploying github-pages.
<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="35" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/10208)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/devtools.rs')
0 files changed, 0 insertions, 0 deletions