summaryrefslogtreecommitdiff
path: root/util/docker_build.sh
AgeCommit message (Expand)Author
2018-12-08Add a better Docker build script + update Dockerfile (#4222)Konstantin Đorđević