Commit Briefs

Omar Polo

fix the dockerfile

diff | patch | tree

Omar Polo

move the Dockerfile to contrib/

diff | patch | tree

Omar Polo

build gmid statically inside the docker container

diff | patch | tree