1
0
mirror of https://github.com/MariaDB/server.git synced 2025-06-04 18:03:14 +03:00
Sergei Petrunia 44bc2a0ef7 Post-fixes for "Rename plugin rocksdb_se to rocksdb"
- Also rename plugin's config file
- And fix unit test's CMakeLists.txt
2017-04-02 23:38:28 +03:00
..
2017-03-30 12:48:42 +02:00
2017-03-10 18:21:29 +01:00
2016-10-07 15:32:56 +03:00