Commit graph

1 commit

Author SHA1 Message Date
Xavier Claessens
791757de6c Rename 'android' docker image back to 'ubuntu'
There is no point in doing a different docker image for each build we
are going to do inside an Ubuntu distro. We can later use the same image
for native ubuntu builds, or other cross builds (e.g. android API 21,
etc).
2018-12-13 17:08:16 +00:00
Renamed from docker/android/android-download-ndk.sh (Browse further)