tree b25446b91d79327b22c2005b1b604b63ee269409
parent c25a59543b2778afe70a467b22b34b10a0d60021
author Junho Choi <junho.choi@gmail.com> 1593738111 -0700
committer Alessandro Ghedini <alessandro@ghedini.me> 1594647916 +0100

build: move Android helper scripts into a directory

Move Android helper scripts into tools/android.
No functional changes.