]> git-server-git.apps.pok.os.sepia.ceph.com Git - ceph-build.git/commitdiff
Merge pull request #422 from ceph/ceph-dev
authorAlfredo Deza <alfredo@deza.pe>
Thu, 4 Aug 2016 18:46:57 +0000 (14:46 -0400)
committerGitHub <noreply@github.com>
Thu, 4 Aug 2016 18:46:57 +0000 (14:46 -0400)
ceph-dev: provide the ability to choose which distros are used


Trivial merge