mirror of
https://github.com/servo/servo.git
synced 2025-07-29 18:20:24 +01:00
Use android.platform (and $ANDROID_PLATFORM) for configuration, apply 'android-18' default |
||
---|---|---|
.. | ||
jni | ||
res/mipmap | ||
src/com/mozilla/servo | ||
.gitignore | ||
AndroidManifest.xml | ||
build.xml |