mirror of
https://github.com/servo/servo.git
synced 2025-07-16 03:43:38 +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 |