]> 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
rocksdb.git
8 years agoSome more files.
commit | commitdiff | tree
sdong [Tue, 18 Jul 2017 19:21:24 +0000 (12:21 -0700)]
Some more files.

8 years agoRemove some left-over BSD headers
commit | commitdiff | tree
sdong [Tue, 18 Jul 2017 18:38:39 +0000 (11:38 -0700)]
Remove some left-over BSD headers

8 years agoAdd back the LevelDB license file
commit | commitdiff | tree
Siying Dong [Mon, 17 Jul 2017 01:35:39 +0000 (18:35 -0700)]
Add back the LevelDB license file

Summary: Closes https://github.com/facebook/rocksdb/pull/2591

Differential Revision: D5432696

Pulled By: siying

fbshipit-source-id: a613230ab916de0b279a65ef429ede65460a8db2

8 years agoRemove the licensing description in CONTRIBUTING.md
commit | commitdiff | tree
Siying Dong [Sun, 16 Jul 2017 22:50:14 +0000 (15:50 -0700)]
Remove the licensing description in CONTRIBUTING.md

Summary: Closes https://github.com/facebook/rocksdb/pull/2590

Differential Revision: D5432539

Pulled By: siying

fbshipit-source-id: 49902453bba3c95c1fb8354441b2198649e52bf4

8 years agoChange RocksDB License
commit | commitdiff | tree
Siying Dong [Sat, 15 Jul 2017 23:03:42 +0000 (16:03 -0700)]
Change RocksDB License

Summary: Closes https://github.com/facebook/rocksdb/pull/2589

Differential Revision: D5431502

Pulled By: siying

fbshipit-source-id: 8ebf8c87883daa9daa54b2303d11ce01ab1f6f75

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