diff options
author | Dirk Hohndel <dirk@hohndel.org> | 2018-12-29 16:23:50 -0800 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2018-12-30 11:20:34 -0800 |
commit | bae683ad5337f5c71354df24ab0c7df5f03feb4c (patch) | |
tree | 848ef8b3f6f4163a5173587836f7a50e2c7fbc0a /Documentation/mobile-manual_fr.html.git | |
parent | ad84a96fdbc61a2d9cfb5b251102497b66b638f2 (diff) | |
download | subsurface-bae683ad5337f5c71354df24ab0c7df5f03feb4c.tar.gz |
Travis: use 5.12.03 Docker image for Android
With this we have working arm and arm64 images (except that the arm64
image crashes when using Bluetooth).
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'Documentation/mobile-manual_fr.html.git')
0 files changed, 0 insertions, 0 deletions