2 commits

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
Jordan Petridis	f085d34a32	docker: Move android into a unified image	2018-11-27 16:07:57 +02:00