diff options
| author | MarcoFalke <falke.marco@gmail.com> | 2022-01-14 12:18:03 +0100 |
|---|---|---|
| committer | MarcoFalke <falke.marco@gmail.com> | 2022-01-14 11:28:45 +0100 |
| commit | 888841ea8d38fc059ca06ef67af7f31f8d8418a4 (patch) | |
| tree | 412fb9225ce10651209f71e18d0a0c0f6d4cff14 /src/leveldb/CONTRIBUTING.md | |
| parent | dddd05e7a3389fcbd90bb4acdfe1f59945d9f381 (diff) | |
interfaces: Remove unused is_final
Diffstat (limited to 'src/leveldb/CONTRIBUTING.md')
0 files changed, 0 insertions, 0 deletions