1 Commits (7950d336eb1145ef41a3516b10105b3c4f4a9ba5)

Author	SHA1	Message	Date
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