summaryrefslogtreecommitdiff
path: root/docker/Dockerfile
AgeCommit message (Expand)Author
2021-02-14Fix merge conflict.Jean-François Milants
2020-12-21Integrate improvements from #137Joe Eaves
2020-12-21Unify the Dockerfiles by fleshing out build.shJoe Eaves