Commit Graph

2 Commits (7457c7cd00f936ee4e3d37a48811a73851bee182)

Author SHA1 Message Date
sdong fdf882ded2 Replace namespace name "rocksdb" with ROCKSDB_NAMESPACE (#6433) 5 years ago
Peter Dillinger 58d46d1915 Add useful idioms to Random API (OneInOpt, PercentTrue) (#6154) 5 years ago