1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

move rocksdb specific changes into rocksdb

This commit is contained in:
Sergei Golubchik
2017-03-11 16:25:03 +01:00
parent 9ce639af52
commit 6e899642fe
6 changed files with 27 additions and 26 deletions

View File

@ -3193,7 +3193,6 @@ public:
size_t size)
{ return 0; }
bool is_using_full_key(key_part_map keypart_map, uint actual_key_parts);
virtual int read_range_first(const key_range *start_key,
const key_range *end_key,
bool eq_range, bool sorted);