-
Huachao Huang authored
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.
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| generate.py | ||
| generated.rs | ||
| lib.rs |