Daniel Martí d5d22dbc99 Update android sdk version ... Install version 25 now. Also use the smaller tools zip. While at it, also remove the tools re-install - it's not worth it, as long as we keep the initial tools zip up to date.		2016-05-27 14:08:57 +01:00
..
default.rb	Update android sdk version	2016-05-27 14:08:57 +01:00