Commit graph

4 commits

Author SHA1 Message Date
bert hubert
e481d4a284 make compressed protocol less chatty & default 2020-04-28 11:17:55 +02:00
Brad Cowie
1e4d0589db Install git during docker build so update-git-hash-if-necessary works. 2019-12-29 19:48:04 +13:00
Brad Cowie
cb989825b7 Install libeigen3-dev during docker build. 2019-10-28 17:56:19 +13:00
Konrad Wojas
4ea3eee010 Add a Dockerfile 2019-09-27 16:31:29 +08:00