diff options
| author |  Jan Mulder <jlmulder@xs4all.nl> | 2018-12-29 08:56:08 +0100 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2018-12-30 11:20:34 -0800 |
| commit | 1e1457318c74dcb3b5b7dfc84cc2002c04214879 (patch) | |
| tree | 084ba16bfee1e85ae4eee2ce701a89bc14ec2ae8 /.github | |
| parent | 20c40ea6b4a711c4db423bab8ab44b90177cd1c1 (diff) | |
| download | subsurface-1e1457318c74dcb3b5b7dfc84cc2002c04214879.tar.gz | |
Android Docker: give the android builder its own name
Users that use docker locally for Windows style build and Android style
builds will (probably) not like that we use the same name for both
docker containers. So, give the android builder its own name.
Signed-off-by: Jan Mulder <jlmulder@xs4all.nl>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions