Matthew Bauer ac491d2df7 systems: remove android armv5te platform ...

this isn’t useful any more because the ndk we use no longer supports it.

2019-04-10 01:55:09 -04:00

..

androidndk-pkgs.nix

systems: remove android armv5te platform

2019-04-10 01:55:09 -04:00

default.nix

…