]> git.apps.os.sepia.ceph.com Git - ceph-ci.git/commitdiff
Merge pull request #9668 from ceph/wip-rocksdb-wo-rdb
authorKefu Chai <tchaikov@gmail.com>
Tue, 14 Jun 2016 08:48:20 +0000 (16:48 +0800)
committerGitHub <noreply@github.com>
Tue, 14 Jun 2016 08:48:20 +0000 (16:48 +0800)
rocksdb: remove rdb source files from dist tarball

Reviewed-by: Haomai Wang <haomai@xsky.com>

Trivial merge