• new android port: Remove Android code from /ports/servo/

    paulrouget committed Jul 31, 2018