Pierre Prinetti dc15f4a43c docker: build from the local working directory ... With this change, the Dockerfile builds the Docker image from the code checked out in the local filesystem, instead of downloading a revision from git. Implements #3657		2019-11-08 22:56:30 +01:00
..
settings.json	docker: minimal changes to the documentation	2019-11-08 23:15:03 +01:00