]> git-server-git.apps.pok.os.sepia.ceph.com Git - rocksdb.git/commitdiff
projects / rocksdb.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 63eade4 1e5a528)
Merge pull request #318 from criccomini/master
authorankgup87 <gupta.ankit.87@gmail.com>
Tue, 7 Oct 2014 16:53:20 +0000 (09:53 -0700)
committerankgup87 <gupta.ankit.87@gmail.com>
Tue, 7 Oct 2014 16:53:20 +0000 (09:53 -0700)
Build RocksDB JNI cross-platform fat jar


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.