diff options
| author | glennw <glennw@users.noreply.github.com> | 2014-09-02 09:20:11 +1000 |
|---|---|---|
| committer | glennw <glennw@users.noreply.github.com> | 2014-09-02 09:20:11 +1000 |
| commit | a5965442b5c886bdf1553d65aded1a379f812dc8 (patch) | |
| tree | 6b539e47f5fd3f59b07fc24f46d70e137e1b36c5 /src/components/script/dom/htmlscriptelement.rs | |
| parent | 9284e443283101c6300ab1af4b4304b65e4f9686 (diff) | |
| parent | c0d08a6c2e049b6b2daabe946fb3d3a33fbcc372 (diff) | |
| download | servo-a5965442b5c886bdf1553d65aded1a379f812dc8.tar.gz servo-a5965442b5c886bdf1553d65aded1a379f812dc8.zip | |
Merge pull request #3194 from glennw/android-build
Revert syntax extension for now, as it causes issues with cross compiling for android.
Diffstat (limited to 'src/components/script/dom/htmlscriptelement.rs')
0 files changed, 0 insertions, 0 deletions