*: generate some enums with a script (#219)
New version rocksdb may change the value of some enums, then we have to update those enums accordingly. So we need a script to generate those enums instead of updating them manually.
Showing
Please
register
or
sign in
to comment