Merge pull request #147 from ebraminio/dockerci
authorBehdad Esfahbod <behdad@behdad.org>
Mon, 19 Oct 2015 18:59:43 +0000 (16:59 -0200)
committerBehdad Esfahbod <behdad@behdad.org>
Mon, 19 Oct 2015 18:59:43 +0000 (16:59 -0200)
[ci] change to docker infrastructure


Trivial merge