Giovanni Campagna 5c8340efa6 Make the docker image smaller ... Remove the included copy of the embeddings, and assume the embeddings are provided from the outside using a volume mount. Also, use some tricks to remove unused data and packages.		2019-12-14 17:18:27 -08:00
..
hooks	docker: Switch to ubi8 (RHEL 8)	2019-11-01 17:08:06 -07:00
Dockerfile	Make the docker image smaller	2019-12-14 17:18:27 -08:00