Thiago Marcos P. Santos b7728d222c [build] Make the docker image smaller ...

It could be made even smaller by splitting Android and Linux
builds, but so far CircleCI is handling it fine.

2020-04-02 13:11:41 +03:00

..

etc/apt

[build] CI config

2019-09-17 12:28:55 +03:00

Dockerfile

[build] Make the docker image smaller

2020-04-02 13:11:41 +03:00