Richard van der Hoff 10405153c2 Use wget rather than curl ...

the docker image doesn't have wget

2018-10-16 16:47:26 +01:00

..

config.yml

run the circle builds in docker containers

2018-10-16 15:29:08 +01:00

merge_base_branch.sh

Use wget rather than curl

2018-10-16 16:47:26 +01:00