Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-29 03:23:41 +01:00
Code Issues Projects Releases Packages Wiki Activity
servo/support
History
Mitchell Hentges 619212abf3 Reduce 'android-18' duplication, as originally done by wenderen 
Use android.platform (and $ANDROID_PLATFORM) for configuration, apply 'android-18' default
2016-05-20 22:23:28 +02:00
..
android Reduce 'android-18' duplication, as originally done by wenderen 2016-05-20 22:23:28 +02:00
rust-task_info task -> thread 2016-01-10 17:58:13 +09:00