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)
commit904b0dc3811464cf61dc9457664de95ee4f61a86
tree700cfe8a756a41c64f24c0f403d5e97dac4d6c82
parent86cadc2cd4171050e9d74306b76c42f6ec74b861
parentba096bcc28ca80e2096e0a15191848fcd175e395
Merge pull request #147 from ebraminio/dockerci

[ci] change to docker infrastructure