Zahary Karadjov e9754cf69c More improvements to the docker build scripts ... * Make the build deterministic by pinning it to a particular revision * Add curl as a run-time dependency * Use the improved Docker practices for the Nimbus build as well		2019-03-23 13:24:48 +02:00
..
Dockerfile	More improvements to the docker build scripts	2019-03-23 13:24:48 +02:00
Makefile	More improvements to the docker build scripts	2019-03-23 13:24:48 +02:00