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