est31 997002703b Android: download deps using https ... Its more secure, and some pages even redirect to the https version.		2016-05-12 05:03:15 +02:00
..
android	Android: download deps using https	2016-05-12 05:03:15 +02:00