]> git-server-git.apps.pok.os.sepia.ceph.com Git - rocksdb.git/log
projects / rocksdb.git / log
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next ⋅ patches
rocksdb.git
11 years agoMerge pull request #386 from EugenePig/java8
commit | commitdiff | tree
Igor Canadi [Thu, 6 Nov 2014 18:46:20 +0000 (10:46 -0800)]
Merge pull request #386 from EugenePig/java8

suppress JDK8 errors for #385

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