Giovanni Campagna 1c0a71aa0b Add debugging to docker hooks ... To see exactly how they get called...		2019-08-30 21:37:42 +02:00
..
hooks	Add debugging to docker hooks	2019-08-30 21:37:42 +02:00
Dockerfile	docker: move embeddings to a shared directory	2019-08-30 21:25:54 +02:00