synapse-old/.circleci
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