Commit 255d653e by Christophe Geuzaine

move android build from ant to gradle (ant is not supported anymore in Android…

move android build from ant to gradle (ant is not supported anymore in Android Studio's latest release... sigh)
parent 198db6a7
Pipeline #166 passed with stage
in 9 minutes 18 seconds