2 commits

Author	SHA1	Message	Date
Emil Lerch	1c2a03b50a	make Docker image smaller and more reusable	2020-07-27 17:02:15 -07:00
Igor Chubin	aa15990fc8	minor fixes of Dockerfile and related things	2020-02-17 22:19:09 +01:00