mirror of
https://github.com/servo/servo
synced 2026-04-27 18:07:52 +02:00
Use android.platform (and $ANDROID_PLATFORM) for configuration, apply 'android-18' default
Use android.platform (and $ANDROID_PLATFORM) for configuration, apply 'android-18' default